Repository navigation
chore(deps): bump the actions group across 1 directory with 4 updates #294
dependabot[bot]echidna-verify.yml
on: pull_request
Detect proof changes
6s
Agda — lol/proofs
0s
Idris2 — a2ml proofs
Idris2 — AVOW consent proofs
Trust pipeline summary
4s