Skip to content
Rust CI

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #408

Sign in to view logs

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #408

Run time

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