docs(proof): correct stale proof-status; disclose axiom dependence #248
hyperpolymathrust-ci.yml
on: pull_request
rust-ci
/
Detect Cargo.toml
27s
rust-ci
/
Cargo audit (security)
0s
rust-ci
/
Coverage (tarpaulin + codecov)
0s
rust-ci
/
Cargo test
0s
Annotations
4 errors
|
rust-ci / Detect Cargo.toml
The process '/usr/bin/git' failed with exit code 128
|
|
rust-ci / Detect Cargo.toml
couldn't find remote ref refs/pull/94/merge
|
|
rust-ci / Detect Cargo.toml
couldn't find remote ref refs/pull/94/merge
|
|
rust-ci / Detect Cargo.toml
couldn't find remote ref refs/pull/94/merge
|