ci(idris): add fast proof-check gate over all Proofs.idr (#145)#147

hyperpolymath merged 1 commit into

mainhyperpolymath/proven:mainfrom

ci/idris-proof-gate-145hyperpolymath/proven:ci/idris-proof-gate-145Copy head branch name to clipboard