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

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

hyperpolymath wants to merge 3 commits into

claude/proof-status-reconcilehyperpolymath/panic-attack:claude/proof-status-reconcilefrom

claude/abi-idris2-gatehyperpolymath/panic-attack:claude/abi-idris2-gateCopy head branch name to clipboard