Repository navigation
feat(attest): verify --report and --require-bound #109
hyperpolymathverify.yml
on: pull_request
Installation entrypoint controls
6s
cargo fmt --check
16s
cargo clippy -D warnings
41s
MSRV (rust-version in Cargo.toml)
26s
cargo doc (no broken intra-doc links)
30s
Coverage ledger is honest (--fail-on-incomplete)
2m 7s
Matrix: test
Annotations
8 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"
|
|
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 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"
|
|
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 ()
"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"
|
|
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"
|