Skip to content

merge queue: checking #12674 on main (2fd0be5) - #12677

Merged
mergify[bot] merged 2 commits into
mainfrom
mergify/merge-queue/8d4762abe4
Sep 4, 2026
Merged

merge queue: checking #12674 on main (2fd0be5)#12677
mergify[bot] merged 2 commits into
mainfrom
mergify/merge-queue/8d4762abe4

Conversation

@mergify

@mergify mergify Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

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

#12674 is queued for merge on branch main (2fd0be5).

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

Bisected from a failed batch:

Required conditions of queue rule automated updates for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 2fd0be561cd8aeec266b4d93189f7bb844a16e6a
previous_check_retries: []
previous_failed_batches:
  - batch_pr_head_sha: 5f9758d5842592c316b71dd60ced1515339a3558
    batch_pr_number: 12676
    checked_pull_requests:
      - 12674
      - 12675
    draft_pr_head_sha: 5f9758d5842592c316b71dd60ced1515339a3558
    draft_pr_number: 12676
pull_requests:
  - number: 12674
    scopes: []
scopes: []
...

@mergify
mergify Bot deployed to Mergify Merge Protections September 4, 2026 00:58 Active
@mergify
mergify Bot merged commit 5284609 into main Sep 4, 2026
8 checks passed
@mergify
mergify Bot deleted the mergify/merge-queue/8d4762abe4 branch September 4, 2026 01:05
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.

0 participants