You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ci: skip compile-heavy Rust jobs on artifact/docs-only PRs (runner load)
Adds a `changes` gate job (pure `git diff`, no third-party action) that
sets `rust=true` when a PR touches `**/*.rs`, `Cargo.{toml,lock}`, or
`.github/workflows/`, and `rust=false` otherwise. On push/main, schedule,
and workflow_dispatch it is always `true`, so merges and the nightly run
still exercise the full matrix.
The compile-heavy self-hosted jobs — fmt, clippy, test, coverage, miri,
proptest, mutants-cli, semver-checks, msrv, deny, supply-chain — now gate
on `needs.changes.outputs.rust == 'true'`. A YAML/artifact- or docs-only
PR drops from ~15 self-hosted jobs (~75 runner-min, incl. the scarce
lean-mem Miri) to just the content validators.
Deliberately NOT gated (must run on artifact/doc PRs): traceability
(`rivet validate` + commits), docs-check (`rivet docs check`), yaml-lint.
GitHub-hosted jobs (playwright, zola, vscode-ext, audit, kani, verus,
rocq) are unchanged — they don't touch the shared self-hosted pool.
Complements the existing `concurrency: cancel-in-progress` (which already
kills superseded PR runs) and the nightly-only heavy matrices (#498).
Motivated by shared-pool contention with the maintainer and other agents.
0 commit comments