Skip to content
Proof Corpus

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
idris2 0.8.0 --build git-reticulator-proofs
7m 53s
7m 53s