Delete Mustfile #94
hyperpolymathproofs.yml
on: push
Detect relevant changes
Idris2 type-check (core + all cartridge ABIs)
Trusted-base audit (no new axioms)
Annotations
1 error
|
Proofs Gate
Canceling since a higher priority waiting request for proofs-refs/heads/main exists
|