chore(deps): bump the actions group across 1 directory with 8 updates #47
dependabot[bot]dogfood-proofs-ci.yml
on: pull_request
Coq
43s
Lean 4
17s
Lean 4 (verification)
21s
Idris2 (verification)
8m 7s
Agda
3m 30s