Skip to content
Code Coverage

fix(abi): repair the Idris2 proofs and record proof status against the policy #883

Sign in to view logs

fix(abi): repair the Idris2 proofs and record proof status against the policy

fix(abi): repair the Idris2 proofs and record proof status against the policy #883

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Line coverage (cargo-llvm-cov)
3m 15s
3m 15s