Skip to content

fix(proofs): restore the proof gate (dedupe allTake, read idris2 pin, run on every PR) - #350

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/proof-gate
Oct 7, 2026
Merged

fix(proofs): restore the proof gate (dedupe allTake, read idris2 pin, run on every PR)#350
hyperpolymath merged 2 commits into
mainfrom
fix/proof-gate

Merge branch 'main' into fix/proof-gate

740b4b2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar