Update scala3-library to 3.3.7#459
Merged
mergify[bot] merged 5 commits intoDec 10, 2025
Merged
Mergify / Summary
succeeded
Dec 10, 2025 in 1s
2 potential rules
Rule: Automatic merge when CI passes and reviews approve (merge)
-
-closed[📌 merge requirement] -
#approved-reviews-by >= 1[🛡 GitHub branch protection] -
#approved-reviews-by>=1 -
#changes-requested-reviews-by = 0[🛡 GitHub branch protection] -
#commits-behind = 0[🛡 GitHub branch protection] -
-conflict[📌 merge requirement] -
-draft[📌 merge requirement] -
status-success=Final Results - any of: [📌 merge -> configuration change requirements]
-
-mergify-configuration-changed -
check-success = Configuration changed
-
- any of: [🛡 GitHub branch protection]
-
check-success = Final Results -
check-neutral = Final Results -
check-skipped = Final Results
-
Rule: Automatic update of pull requests (update)
-
#commits-behind > 0[📌 update requirement] -
#commits-behind>=1 -
-closed[📌 update requirement] -
-conflict[📌 update requirement] -
base=main -
queue-position = -1[📌 update requirement]
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
@Mergifyio refreshwill re-evaluate the rules@Mergifyio rebasewill rebase this PR on its base branch@Mergifyio updatewill merge the base branch into this PR@Mergifyio backport <destination>will backport this PR on<destination>branch
Additionally, on Mergify dashboard you can:
- look at your merge queues
- generate the Mergify configuration with the config editor.
Finally, you can contact us on https://mergify.com
Loading