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