fix(ci): repair the Coq gate on main — coqc not found (#711) #130
hyperpolymathgovernance-baseline.yml
on: push
governance
/
Validate Hypatia baseline
6m 35s
Annotations
3 errors
|
Governance Baseline
Canceling since a higher priority waiting request for Governance Baseline-refs/heads/main exists
|
|
Governance Baseline
Canceling since a higher priority waiting request for Governance Baseline-refs/heads/main exists
|
|
governance / Validate Hypatia baseline
Canceling since a higher priority waiting request for Governance Baseline-refs/heads/main exists
|