Skip to content
Push email notification

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0… #10

Sign in to view logs

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0…

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0… #10

Run time

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