fix(ci): drop flaky Agda job — reliable green Coq + Z3 #273
hyperpolymathrust-ci.yml
on: pull_request
rust-ci
/
Detect Cargo.toml
6s
rust-ci
/
Cargo audit (security)
34s
rust-ci
/
Coverage (tarpaulin + codecov)
34s
rust-ci
/
Cargo test
0s
Annotations
12 errors
|
rust-ci / Coverage (tarpaulin + codecov)
The process '/usr/bin/git' failed with exit code 128
|
|
rust-ci / Coverage (tarpaulin + codecov)
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Coverage (tarpaulin + codecov)
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Coverage (tarpaulin + codecov)
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Cargo audit (security)
The process '/usr/bin/git' failed with exit code 128
|
|
rust-ci / Cargo audit (security)
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Cargo audit (security)
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Cargo audit (security)
couldn't find remote ref refs/pull/105/merge
|
|
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/105/merge
|
|
rust-ci / Cargo check + clippy + fmt
couldn't find remote ref refs/pull/105/merge
|
|
rust-ci / Cargo check + clippy + fmt
couldn't find remote ref refs/pull/105/merge
|