Skip to content
Verify

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check #155

Sign in to view logs

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check #155

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cargo clippy -D warnings
32s
cargo test (http)
1m 30s
Coverage ledger is honest (--fail-on-incomplete)
1m 36s
cargo fmt --check
9s
MSRV (rust-version in Cargo.toml)
21s
Installation entrypoint controls
4s
cargo doc (no broken intra-doc links)
12s
TLA+ model check (GenerationPublish)
15s
cargo test (http,sarif)
1m 26s
cargo test ()
1m 10s
7m 15s