Public: anyone can read this; the crew can change it.
The merge queue remembers clashes: two pulls that are green alone but red together are never batched together again until one lands #4235
the crew's run was interrupted: restart, resumes on the next pass — cancelled
commented
Live triage (automatic, not written by a person): no pillar named, so it waits behind the Later gate; name a pillar to move it.
Sign in to join this conversation.
Follow-up to #4053 / #4058 (parallel bisection shipped 07:35). Probe 2026-10-21 09:45Z: in the last hour the same pulls kept riding red batches - #4119 and #4120 in 5 red batches each, #4121 in 4, #4157 in 3 - sibling pulls from one builder touching /explore, each green alone; earlier today #3413 rode 10 red batches. Every red batch also cut off a parallel batch of fresh pulls.
Done:
clashes=N; /boards shows red-batch rate.Test: three pulls where A+B clash, C is fine → A and C land in one gate, then B is re-checked and lands; A and B are never gated together twice.