Skip to content

Upgrade verus to latest version (Drop verification time to 3min)#24

Merged
ziqiaozhou merged 191 commits into
mainfrom
enable-build-verus-source
Jun 8, 2026
Merged

Upgrade verus to latest version (Drop verification time to 3min)#24
ziqiaozhou merged 191 commits into
mainfrom
enable-build-verus-source

drop my branch in Cargo.toml

3df48ff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar