Skip to content
Rust CI

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

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 #880

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rust-ci / Detect Cargo.toml
5s
rust-ci / Cargo check + clippy + fmt
22s
rust-ci / Cargo audit (security)
0s
rust-ci / llvm-cov line coverage
0s
rust-ci / Cargo test
1m 10s
1m 37s