Skip to content
Back to pull request #711

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

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

Annotations

1 error

bench-visibility

bench-visibility
succeeded Aug 3, 2026 in 3m 28s