Skip to content
Dogfood Proof Corpus

fix(ci): unbreak workflow YAML and add a complete actions.lock #59

Sign in to view logs

fix(ci): unbreak workflow YAML and add a complete actions.lock

fix(ci): unbreak workflow YAML and add a complete actions.lock #59

Triggered via pull request August 27, 2026 05:06
@hyperpolymathhyperpolymath
opened #368
fix/workflow-dependency-locking
Status Success
Total duration 39m 48s
Artifacts –

dogfood-proofs-ci.yml

on: pull_request
Coq
29s
Coq
Lean 4
27s
Lean 4
Lean 4 (verification)
17s
Lean 4 (verification)
Idris2 (verification)
8m 4s
Idris2 (verification)
Agda
3m 5s
Agda
Fit to window
Zoom out
Zoom in