merge queue: embarking main (08d2fe8) and #40 together

[mergify]

✨ The merge conditions cannot be satisfied due to failing checks. ✨

Branch main (08d2fe8) and #40 are embarked together for merge.

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

• check-success = "check-macos-linux-nix"
• check-success = "check-macos-linux-nix-private"

Required conditions to stay in the queue: None

---
checking_base_sha: 08d2fe8899824cd3d6e1ab456c2bb29cd2d42be0
previous_failed_batches: []
pull_requests:
  - number: 40
    scopes: []
scopes: []
...