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

Triggered via pull request August 27, 2026 17:30
@hyperpolymathhyperpolymath
synchronize #52
automated/label-tooling
Status Failure
Total duration 32m 21s
Artifacts –

proof-gate.yml

on: pull_request
idris2 --check (ABI proof modules)
4s
idris2 --check (ABI proof modules)
Fit to window
Zoom out
Zoom in

Annotations

1 error
idris2 --check (ABI proof modules)
Process completed with exit code 127.