merge queue: embarking main (5c251bf) and #218 together

[mergify]

✨ Pull request #218 has been dequeued. ✨

Mergify failed to merge the pull request. GitHub can't merge the pull request after 14 retries.

Repository rule violations found

Required status check "all" is failing.

Branch main (5c251bf) and #218 are embarked together for merge.

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

• #approved-reviews-by >= 1 [🛡 GitHub repository ruleset rule default]
  • chore(deps): pin dependencies #218
• #changes-requested-reviews-by = 0 [🛡 GitHub repository ruleset rule default]
  • chore(deps): pin dependencies #218
• any of [🛡 GitHub repository ruleset rule default]:
  • check-success = all
  • check-neutral = all
  • check-skipped = all

Required conditions to stay in the queue:

• #approved-reviews-by >= 1
  • chore(deps): pin dependencies #218
• base = main
  • chore(deps): pin dependencies #218
• label = enqueue
  • chore(deps): pin dependencies #218

---
checking_base_sha: 5c251bfa3da4e44f336cc5140777164646e050f8
previous_failed_batches: []
pull_requests:
  - number: 218
    scopes: []
scopes: []
...