Skip to content

fix: landing proof numbers match the live 24-test suite - #12

Merged
arko33 merged 2 commits into
mainfrom
fix/proof-suite-count
Oct 21, 2026
Merged

fix: landing proof numbers match the live 24-test suite#12
arko33 merged 2 commits into
mainfrom
fix/proof-suite-count

fix: real-user journey — quiet non-git dirs, mkdir for the OpenCode a…

08b8cc3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar