Repository navigation

CI quarantine list: a test dev's latest push failed is skipped on PRs for 72 hours, never a test the PR touches (#5942) - #5964

Merged

erikdarlingdata merged 2 commits into

devfrom

fix/5942-quarantine-list

Oct 16, 2026

Merged

CI quarantine list: a test dev's latest push failed is skipped on PRs for 72 hours, never a test the PR touches (#5942)#5964
erikdarlingdata merged 2 commits into
devfrom
fix/5942-quarantine-list

Commits on Oct 16, 2026
- CI quarantine list: a test dev's latest push failed is skipped on PRs for 72 hours, never a test the PR touches (#5942)
  erikdarlingdata
  committed
  a7b88e2
- Merge dev into fix/5942-quarantine-list (build.yml and ci-select.py overlap with #5966 and #5967)
  erikdarlingdata
  committed
  b6f20bb