merge queue: embarking main (88ed2d2) and #10 together

[mergify]

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

Branch main (88ed2d2) and #10 are embarked together for merge.

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

No extra conditions.

Required conditions to stay in the queue:

• #approved-reviews-by>=1
  • chore: release 0.1.3 #10
• #changes-requested-reviews-by=0
  • chore: release 0.1.3 #10
• #review-requested=0
  • chore: release 0.1.3 #10
• #review-threads-unresolved=0
  • chore: release 0.1.3 #10
• all of:
  • check-success=Test with Python 3.10
    • chore: release 0.1.3 #10
  • check-success=Test with Python 3.11
    • chore: release 0.1.3 #10
  • check-success=Test with Python 3.12
    • chore: release 0.1.3 #10
  • check-success=Test with Python 3.8
    • chore: release 0.1.3 #10
  • check-success=Test with Python 3.9
    • chore: release 0.1.3 #10

---
previous_failed_batches: []
pull_requests:
  - number: 10
...