Repository navigation
Replace legacy Python CI helpers with tested Rust equivalents #129
hyperpolymathverify.yml
on: pull_request
Installation entrypoint controls
4s
cargo fmt --check
10s
cargo clippy -D warnings
22s
MSRV (rust-version in Cargo.toml)
21s
cargo doc (no broken intra-doc links)
13s
Coverage ledger is honest (--fail-on-incomplete)
1m 55s
Matrix: test
Annotations
9 notices
|
Installation entrypoint controls
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo fmt --check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo doc (no broken intra-doc links)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
MSRV (rust-version in Cargo.toml)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo clippy -D warnings
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo test (http,sarif)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo test (http)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
cargo test ()
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Coverage ledger is honest (--fail-on-incomplete)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|