Skip to content
Rust CI

fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… #271

Sign in to view logs

fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)…

fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… #271

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rust-ci / Detect Cargo.toml
4s
rust-ci / Cargo audit (security)
3m 10s
rust-ci / Coverage (tarpaulin + codecov)
2m 48s
rust-ci / Cargo check + clippy + fmt
15s
rust-ci / Cargo test
18s
6m 35s