Skip to content
Coq Proof Gate

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

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) #3

Triggered via push July 28, 2026 18:29
@hyperpolymathhyperpolymath
pushed ed4e223
main
Status Failure
Total duration 1m 37s
Artifacts –

coq-proof-gate.yml

on: push
coq-proofs
1m 20s
coq-proofs
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq-proofs
Process completed with exit code 127.