Code

Verus snapshot update#46

Code

Merged

jaybosamiya merged 1 commit intomainverus-lang/verusfmt:mainfrom verus-snapshot-updateverus-lang/verusfmt:verus-snapshot-updateCopy head branch name to clipboardApr 2, 2024

+226-221

Commits

Commits on Apr 2, 2024

• chore: update to latest Verus snapshot

  

  jaybosamiya

  authored and

  github-actions[bot]

  committed
  be86685

  Copy full SHA for be86685