Skip to content
Proofs

ci: add reliable Agda job (version-matched agda-stdlib via git) #12

Sign in to view logs

ci: add reliable Agda job (version-matched agda-stdlib via git)

ci: add reliable Agda job (version-matched agda-stdlib via git) #12

Triggered via pull request July 7, 2026 10:19
@hyperpolymathhyperpolymath
opened #106
ci-agda-stdlib
Status Success
Total duration 1m 52s
Artifacts –

proofs.yml

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