Skip to content

merge queue: checking main (e244d65), #11972 and #11971 together#11973

Closed
mergify[bot] wants to merge 4 commits into
mainfrom
mergify/merge-queue/3307b7c3a3
Closed

merge queue: checking main (e244d65), #11972 and #11971 together#11973
mergify[bot] wants to merge 4 commits into
mainfrom
mergify/merge-queue/3307b7c3a3

Conversation

@mergify

@mergify mergify Bot commented Jun 29, 2026

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (e244d65), #11972 and #11971 are queued together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #11971.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: eeaff814123d71cadd1050fe974d33adf5cd06c7
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 11971
    scopes: []
scopes: []
...

sileht and others added 4 commits June 29, 2026 17:57
…de note

The note claimed skip_intermediate_results depends on serial mode's strict
cumulative ordering and is not available in parallel mode. That is no longer
true: the engine generalizes the mechanism to the parallel scope dependency
graph, so a passing batch vouches for the earlier changes it was tested on top
of, in serial and parallel modes alike.

The real restriction is isolated mode, where batches are fully independent and
the config is rejected outright. Update the batches anti-flake note and the
queue-modes limitations bullet to scope the restriction to isolated mode, and
fix the section intro that still asserted strict single-queue ordering.

Change-Id: Ie80c5095b016f23b80087d81653758110d6a56ff
@mergify mergify Bot deployed to Mergify Merge Protections June 29, 2026 16:28 Active
@mergify mergify Bot closed this Jun 30, 2026
@mergify mergify Bot deleted the mergify/merge-queue/3307b7c3a3 branch June 30, 2026 07:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants