Skip to content

ci: wire the formal/ Coq proof gate into CI (Refs #513) - #709

Merged
hyperpolymath merged 2 commits into
mainfrom
ci/coq-proof-gate
Jul 28, 2026
Merged

ci: wire the formal/ Coq proof gate into CI (Refs #513)#709
hyperpolymath merged 2 commits into
mainfrom
ci/coq-proof-gate

Merge branch 'main' into ci/coq-proof-gate

8bea4c7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar