Skip to content

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths - #279

Open
hyperpolymath wants to merge 3 commits into
claude/proof-status-reconcilefrom
claude/abi-idris2-gate
Open

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths#279
hyperpolymath wants to merge 3 commits into
claude/proof-status-reconcilefrom
claude/abi-idris2-gate

Merge branch 'claude/proof-status-reconcile' into claude/abi-idris2-gate

8820e6e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar