Repository navigation

feat: delegate fmt to `cargo verus fmt` - #47

Merged

Marsman1996 merged 1 commit into

asterinas:mainfrom

Marsman1996:feat-cargo_fmt

Oct 3, 2026

Merged

feat: delegate fmt to `cargo verus fmt`#47
Marsman1996 merged 1 commit into
asterinas:mainfrom
Marsman1996:feat-cargo_fmt

Commits on Oct 3, 2026
- feat: delegate fmt to `cargo verus fmt`
  Marsman1996
  committed
  e35357a