Skip to content
Proofs

fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-s… #43

Sign in to view logs

fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-s…

fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-s… #43

Triggered via push September 30, 2026 15:31
@hyperpolymathhyperpolymath
pushed 5613b0e
main
Status Failure
Total duration 2m 44s
Artifacts –

proofs.yml

on: push
Coq — CNO + OND (14 theories)
47s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
2m 39s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
22s
Z3 — CNO + OND bounded checks
Lean — core CNO (6 modules + axiom audit)
17s
Lean — core CNO (6 modules + axiom audit)
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Lean — core CNO (6 modules + axiom audit)
Process completed with exit code 1.
Coq — CNO + OND (14 theories)
Process completed with exit code 1.