merge queue: checking main (8797535) and #1591 together - #1985
merge queue: checking main (8797535) and #1591 together#1985mergify[bot] wants to merge 43 commits into
Conversation
for more information, see https://pre-commit.ci
Co-authored-by: David--Cléris Timothée <timothee.davidcleris@proton.me>
|
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: |
⏳ The pull request #1591 is queued for merge and currently being checked. ⏳
Branch main (8797535) and #1591 are queued together for merge.
This pull request has been created by Mergify to check the mergeability of #1591.
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-neutral = allcheck-skipped = allcheck-success = allgithub-review-approved[🛡 GitHub branch protection]check-success = pre-commit.ci - prcheck-neutral = pre-commit.ci - prcheck-skipped = pre-commit.ci - prRequired conditions to stay in the queue:
github-review-approved[🛡 GitHub branch protection]check-success = pre-commit.ci - prcheck-neutral = pre-commit.ci - prcheck-skipped = pre-commit.ci - prcheck-success = allcheck-neutral = allcheck-skipped = all