Skip to content
Back to pull request #711

fix(ci): repair the Coq gate on main — coqc not found #920

Sign in to view logs

fix(ci): repair the Coq gate on main — coqc not found

fix(ci): repair the Coq gate on main — coqc not found #920

spark-theatre-gate  /  SPARK Theatre Gate

spark-theatre-gate / SPARK Theatre Gate
succeeded Aug 3, 2026 in 3s