🎉 This pull request has been checked successfully and will be merged soon. 🎉
Branch main (84b83f5) and #683 are embarked together for merge.
This pull request has been created by Mergify to speculatively check the mergeability of #683.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queuemainfor merge:
🎉 This pull request has been checked successfully and will be merged soon. 🎉
Branch main (84b83f5) and #683 are embarked together for merge.
This pull request has been created by Mergify to speculatively check the mergeability of #683. You don't need to do anything. Mergify will close this pull request automatically when it is complete. Required conditions of queue
main
for merge:#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]#review-threads-unresolved=0
[🛡 GitHub branch protection]base=main
Required conditions to stay in the queue:
#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]#review-threads-unresolved=0
[🛡 GitHub branch protection]