Repository navigation
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check #155
hyperpolymathverify.yml
on: pull_request
Installation entrypoint controls
4s
cargo fmt --check
9s
cargo clippy -D warnings
32s
MSRV (rust-version in Cargo.toml)
21s
cargo doc (no broken intra-doc links)
12s
Coverage ledger is honest (--fail-on-incomplete)
1m 36s
TLA+ model check (GenerationPublish)
15s
Matrix: test
Annotations
10 notices
|
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 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"
|
|
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 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"
|
|
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 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 (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"
|
|
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"
|