Repository navigation

fix(ci): repair + wire status-gate; require coq-build-gate - #301

Merged

hyperpolymath merged 1 commit into

mainfrom

fix/proof-gates-2026-06-16

Jun 16, 2026

Merged

fix(ci): repair + wire status-gate; require coq-build-gate#301
hyperpolymath merged 1 commit into
mainfrom
fix/proof-gates-2026-06-16

Commits on Jun 16, 2026
- fix(ci): repair + wire status-gate; require coq-build-gate
  
  hyperpolymath
  and
  claude
  committed
  2c854fb