Skip to content

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

f679205
Select commit
Loading
Failed to load commit list.
Merged

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

ci(idris): add fast proof-check gate over all Proofs.idr (#145)
f679205
Select commit
Loading
Failed to load commit list.