Skip to content

fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI#191

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/cartridge-abi-proofs
Jun 4, 2026
Merged

fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI#191
hyperpolymath merged 4 commits into
mainfrom
claude/cartridge-abi-proofs

ci(proofs): add timeout-minutes + shellcheck-clean the sweep script

86cb115
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar