Skip to content
Proofs

fix(ci): adopt Actions dependency lockfile (estate startup_failure remediation) #20

Sign in to view logs

fix(ci): adopt Actions dependency lockfile (estate startup_failure remediation)

fix(ci): adopt Actions dependency lockfile (estate startup_failure remediation) #20

Triggered via pull request August 4, 2026 04:02
@hyperpolymathhyperpolymath
opened #123
ci/actions-lockfile
Status Success
Total duration 1m 37s
Artifacts –

proofs.yml

on: pull_request
Coq — CNO + OND (14 theories)
32s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
1m 28s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
15s
Z3 — CNO + OND bounded checks
Fit to window
Zoom out
Zoom in