proofs: require full Agda safe/cubical-compatible mode in dogfood and meta-checker - #454

proofs: require full Agda safe/cubical-compatible mode in dogfood and meta-checker#454

hyperpolymath merged 3 commits into

mainhyperpolymath/echidna:mainfrom

proofs/agda-reconciliation-policy-2026-11hyperpolymath/echidna:proofs/agda-reconciliation-policy-2026-11Copy head branch name to clipboard