Skip to content

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

Merged
hyperpolymath merged 3 commits into
mainfrom
proofs/agda-reconciliation-policy-2026-11
Nov 2, 2026
Merged

proofs: require full Agda safe/cubical-compatible mode in dogfood and meta-checker#454
hyperpolymath merged 3 commits into
mainfrom
proofs/agda-reconciliation-policy-2026-11

proofs(agda): enforce full safe/cubical-compatible mode in .github/wo…

59d124d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar