Skip to content
bridge-gate

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #359

Sign in to view logs

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #359

Run time

Learn about OS pricing on GitHub Actions
Job Run time
bridge-gate
-7s
-7s