Skip to content
.github/workflows/governance.yml

feat(coq): prove the reversibility<->CNO bridge MAA cites (A2, zero a… #180

Sign in to view logs

feat(coq): prove the reversibility<->CNO bridge MAA cites (A2, zero a…

feat(coq): prove the reversibility<->CNO bridge MAA cites (A2, zero a… #180

Triggered via push July 16, 2026 22:57
@hyperpolymathhyperpolymath
pushed 7ff919e
claude/project-scope-planning-8agyox
Status Failure
Total duration 0s
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.