Repository navigation
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply #157
hyperpolymathverify.yml
on: pull_request
Installation entrypoint controls
6s
cargo fmt --check
8s
cargo clippy -D warnings
19s
MSRV (rust-version in Cargo.toml)
26s
cargo doc (no broken intra-doc links)
10s
Coverage ledger is honest (--fail-on-incomplete)
1m 51s
TLA+ model check (GenerationPublish)
17s
Matrix: test
Annotations
10 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 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 ()
"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"
|
|
TLA+ model check (GenerationPublish)
"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"
|
|
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"
|
|
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"
|