Proof Gate

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

Sign in to view logs

Triggered via pull request August 23, 2026 12:43

opened #48

chore/guix-sweep-139

Status Success

Total duration 22m 47s

Artifacts –

proof-gate.yml

on: pull_request

idris2 --check (ABI proof modules)