Skip to content
Proof Gate

feat(labels): estate label tooling + auto-triage for new issues #30

Sign in to view logs

feat(labels): estate label tooling + auto-triage for new issues

feat(labels): estate label tooling + auto-triage for new issues #30

Run time

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