Skip to content

merge queue: checking main (8d00077) and #11253 together - #11263

Closed
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/b777dff702
Closed

merge queue: checking main (8d00077) and #11253 together#11263
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/b777dff702

Conversation

@mergify

@mergify mergify Bot commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (8d00077) and #11253 are queued together for merge.

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

Required conditions of queue rule batched for merge:

  • #review-threads-unresolved = 0 [馃洝 GitHub repository ruleset rule PR Requirements]
  • github-review-approved [馃洝 GitHub branch protection]
  • github-review-approved [馃洝 GitHub repository ruleset rule PR Requirements]
  • any of [馃洝 GitHub repository ruleset rule PR Requirements]:
    • check-success = @github-actions/lint
    • check-neutral = @github-actions/lint
    • check-skipped = @github-actions/lint
  • any of [馃洝 GitHub repository ruleset rule PR Requirements]:
    • check-success = test-crates
    • check-neutral = test-crates
    • check-skipped = test-crates
  • any of [馃洝 GitHub repository ruleset rule PR Requirements]:
    • check-success = unit-tests
    • check-neutral = unit-tests
    • check-skipped = unit-tests
  • any of [馃洝 GitHub repository ruleset rule PR Requirements]:
    • check-success = @github-actions/pr-gate-result
    • check-neutral = @github-actions/pr-gate-result
    • check-skipped = @github-actions/pr-gate-result

Required conditions to stay in the queue:

---
checking_base_sha: 8d000771ef25e328f10b8b19118d768272cce22c
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 11253
    scopes: []
scopes: []
...

@mergify mergify Bot mentioned this pull request Aug 13, 2026
7 tasks
@mergify mergify Bot closed this Aug 13, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/b777dff702 branch August 13, 2026 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant