merge queue: checking #524 on main (0dcf8ec)

[mergify]

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

#524 is queued for merge on branch main (0dcf8ec).

This pull request has been created by Mergify to check the mergeability of #524.
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

Required conditions to stay in the queue:

• -draft
  • PR summaries: 150-word limit, checked on GitHub, required to merge #524
• base=main
  • PR summaries: 150-word limit, checked on GitHub, required to merge #524
• label=admin-bypass
  • PR summaries: 150-word limit, checked on GitHub, required to merge #524

---
checking_base_sha: 0dcf8ec1170a493d06ebfdce2436dcc039f1f58b
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 524
    scopes: []
scopes: []
...