ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof #81
hyperpolymathrust-ci.yml
on: pull_request
rust-ci
/
Detect Cargo.toml
4s
rust-ci
/
Cargo audit (security)
rust-ci
/
Coverage (tarpaulin + codecov)
rust-ci
/
Cargo test
0s
Annotations
4 errors
|
rust-ci / Cargo check + clippy + fmt
The process '/usr/bin/git' failed with exit code 128
|
|
rust-ci / Cargo check + clippy + fmt
couldn't find remote ref refs/pull/31/merge
|
|
rust-ci / Cargo check + clippy + fmt
couldn't find remote ref refs/pull/31/merge
|
|
rust-ci / Cargo check + clippy + fmt
couldn't find remote ref refs/pull/31/merge
|