merge queue: checking main (d17d418) and #2094 together - #2100
mergify[bot] wants to merge 4 commits into
Conversation
|
Thanks @mergify[bot] for opening this PR! You can do multiple things directly here: Once the workflow completes a message will appear displaying informations related to the run. Also the PR gets automatically reviewed by gemini, you can: |
Workflow reportworkflow report corresponding to commit b6f726b Pre-commit check reportPre-commit check: ✅ Test pipeline can run. Clang-tidy diff reportNo relevant changes found. You should now go back to your normal life and enjoy a hopefully sunny day while waiting for the review. Doxygen diff with
|
🎉 This pull request has been checked successfully and will be merged soon. 🎉
Branch main (d17d418) and #2094 are queued together for merge.
This pull request has been created by Mergify to check the mergeability of #2094.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.
Required conditions of queue rule
main queuefor merge:check-success = allRequired conditions to stay in the queue:
approved-reviews-by >= 1check-success = all_lightcheck-success = pre-commit.ci - pr