ABI: make Idris2 proofs genuinely compile + add machine-checked theorems #84
hyperpolymathrust-ci.yml
on: pull_request
rust-ci
/
Detect Cargo.toml
6s
rust-ci
/
Cargo audit (security)
rust-ci
/
Coverage (tarpaulin + codecov)
rust-ci
/
Cargo test
Annotations
1 error
|
rust-ci / Cargo check + clippy + fmt
Process completed with exit code 1.
|