Skip to content
Back to pull request #711

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

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 #1431

scan

scan
succeeded Aug 3, 2026 in 7s