Skip to content
Proof Gate

fix(ci): pin standards reusables to default-branch HEAD #40

Sign in to view logs

fix(ci): pin standards reusables to default-branch HEAD

fix(ci): pin standards reusables to default-branch HEAD #40

Run time

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