[mergify]

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

#1373 is queued for merge on branch main (d89f0c8).

Stacked behind 3 pull requests queued ahead of this batch, not part of it. These checks run on a tip that also carries their commits, so a failure here can come from them as much as from #1373.

Queued ahead of this batch:

• #1354 + #1374 + #1360

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

Required conditions of queue rule admin-bypass for merge:

• check-success = lint
• check-success = test
• check-success = validate

Required conditions to stay in the queue:

• -draft
  • Read the merge queue's reason when it rejects a pull request #1373
• base=main
  • Read the merge queue's reason when it rejects a pull request #1373
• label=admin-bypass
  • Read the merge queue's reason when it rejects a pull request #1373

---
all_scopes: false
checking_base_sha: 81106d03ba02d56429ed4ba6b7653a885203aa5d
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 1373
    scopes: []
scopes: []
...