Skip to content
Proofs

chore(deps): bump the actions group with 7 updates (#118) #19

Sign in to view logs

chore(deps): bump the actions group with 7 updates (#118)

chore(deps): bump the actions group with 7 updates (#118) #19

Triggered via push July 24, 2026 23:09
@hyperpolymathhyperpolymath
pushed cb08db2
main
Status Success
Total duration 1m 34s
Artifacts –

proofs.yml

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