Skip to content

[stack 17/40] Verification backend modules I - #220

Merged
sarthakagrawal927 merged 3 commits into
mainfrom
stack/11-rust-modules-01
Sep 3, 2026
Merged

[stack 17/40] Verification backend modules I#220
sarthakagrawal927 merged 3 commits into
mainfrom
stack/11-rust-modules-01

fix(ci): keep staged CLI tests out of bin discovery

a58b96f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
validate
succeeded Sep 2, 2026 in 7s