ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #79
hyperpolymathrust-ci.yml
on: push
rust-ci
/
Detect Cargo.toml
3s
rust-ci
/
Cargo audit (security)
0s
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.
|