Skip to content
Proof Gate

chore(ci): bump governance-reusable pin to standards main #36

Sign in to view logs

chore(ci): bump governance-reusable pin to standards main

chore(ci): bump governance-reusable pin to standards main #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
idris2 --check (ABI proof modules)
5s
5s