Code

Verus snapshot update#116

Code

Open

github-actions[bot] wants to merge 1 commit intomainverus-lang/verusfmt:mainfrom verus-snapshot-updateverus-lang/verusfmt:verus-snapshot-updateCopy head branch name to clipboard

+964-1,786

Commits

Commits on Feb 1, 2025

• chore: update to latest Verus snapshot

  

  jaybosamiya

  authored and

  github-actions[bot]

  committed
  11ae4ae

  Copy full SHA for 11ae4ae