fix(ci): unbreak workflow YAML and add a complete actions.lock (#368) #60
dogfood-proofs-ci.yml
on: push
Coq
27s
Lean 4
16s
Lean 4 (verification)
26s
Idris2 (verification)
7m 54s
Agda
3m 7s