Skip to content
Governance Baseline

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #126

Sign in to view logs

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) #126

Triggered via push July 28, 2026 18:29
@hyperpolymathhyperpolymath
pushed ed4e223
main
Status Success
Total duration 33s
Artifacts –

governance-baseline.yml

on: push
governance  /  Validate Hypatia baseline
6s
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.