Proof Gate

chore(nix->guix): delete Nix estate-wide (#138) (#49) #25

Sign in to view logs

Triggered via push August 23, 2026 13:13

main

Status Failure

Total duration 2h 15m 22s

Artifacts –

proof-gate.yml

on: push

idris2 --check (ABI proof modules)

Annotations

1 error

idris2 --check (ABI proof modules)

Process completed with exit code 127.