Skip to content

refactor(doc): align build and doc targets for verus compatibility - #37

Merged
rikosellic merged 1 commit into
asterinas:mainfrom
Marsman1996:fix-doc-arch
Aug 4, 2026
Merged

refactor(doc): align build and doc targets for verus compatibility#37
rikosellic merged 1 commit into
asterinas:mainfrom
Marsman1996:fix-doc-arch

fix(doc): align build and doc targets for verus compatibility

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

Annotations

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