Proof Gate

chore(guix): quality pass - fix stub/invalid names (#139) (#48) #22

Sign in to view logs

Triggered via push August 23, 2026 12:48

main

Status Success

Total duration 30m 40s

Artifacts –

proof-gate.yml

on: push

idris2 --check (ABI proof modules)