Skip to content
Governance Baseline

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

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

Triggered via pull request August 3, 2026 12:37
@hyperpolymathhyperpolymath
opened #711
fix/coq-gate-container
Status Success
Total duration 12s
Artifacts –

governance-baseline.yml

on: pull_request
governance  /  Validate Hypatia baseline
7s
governance / Validate Hypatia baseline
Fit to window
Zoom out
Zoom in

Annotations

1 notice
governance / Validate Hypatia baseline
No .hypatia-baseline.json present — nothing to validate.