Skip to content
.github/workflows/dogfood-gate.yml

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0 #89

Sign in to view logs

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0 #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s