Skip to content

refactor: add line counting command for Verus source files - #41

Merged
rikosellic merged 3 commits into
asterinas:mainfrom
Marsman1996:fix-count_line
Aug 18, 2026
Merged

refactor: add line counting command for Verus source files#41
rikosellic merged 3 commits into
asterinas:mainfrom
Marsman1996:fix-count_line

Merge remote-tracking branch 'origin/main' into fix-count_line

0afb182
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
format-check
succeeded Aug 18, 2026 in 7s