merge queue: embarking main (e8a1b17) and [#8533 + #8526] together

[mergify]

✨ Pull request #8533 which was ahead in the queue has been dequeued. The pull request #8526 has been re-embarked. ✨

Branch main (e8a1b17) and [#8533 + #8526] are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of [#8533 + #8526].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queue batched for merge:

• base=main

Required conditions to stay in the queue:

---
previous_failed_batches: []
pull_requests:
  - number: 8533
  - number: 8526
...