Skip to content

toolchain: set x86 as verification target and use no_std accross the project - #688

Merged
rikosellic merged 10 commits into
asterinas:mainfrom
rikosellic:sync-dv-and-fix-x86
Aug 4, 2026
Merged

toolchain: set x86 as verification target and use no_std accross the project#688
rikosellic merged 10 commits into
asterinas:mainfrom
rikosellic:sync-dv-and-fix-x86

Merge branch 'sync-dv-and-fix-x86' of https://github.com/rikosellic/v…

0184cea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
verify-macos
succeeded Aug 4, 2026 in 5m 30s