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

Fix Idris2 ABI proofs so they genuinely compile and verify #85

Sign in to view logs

Fix Idris2 ABI proofs so they genuinely compile and verify

Fix Idris2 ABI proofs so they genuinely compile and verify #85

Run time

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