Proof Corpus

feat(query): dogfood loop — FileStore persistence + token-budgeted co… #81

Sign in to view logs

Triggered via push July 7, 2026 19:43

main

Status Success

Total duration 7m 58s

Artifacts –

proof-corpus.yml

on: push

idris2 0.8.0 --build git-reticulator-proofs