Repository navigation
fix(ci): pin third-party actions to full commit SHAs #29
Triggered via pull request
September 19, 2026 23:23
hyperpolymath
Status
Success
Total duration
1m 45s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
34s
Agda — CNO + OND
1m 39s
Z3 — CNO + OND bounded checks
12s