main; pull requests and exact-head
PR fallbacks omit those proofs while retaining unit/boundary checks. Control UI
performance uses its UI/build/import owners. Ordinary manual and release
validation retain the Docker survivor and full QA Smoke profile independently of
changed paths. Coalesced main pushes have no automatic proof catch-up; see
selection and
manual dispatches.
Short hybrid jobs use a bounded hosted offload: the complete selected base must fit 40 hosted rows before up to five more move from Blacksmith. Coverage selection remains unchanged.
Where each section moved
Every section heading from the previous single-page version keeps its anchor here, so an existing link such as/ci/scope-and-routing#manual-dispatches still resolves. Each entry points at the page that now holds the content.