Skip to content
Code Coverage

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #884

Sign in to view logs

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #884

Run time

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