Upgrade minor tools v1 - #9057
Draft
matusdrobuliak66 wants to merge 4 commits into
Draft
Mergify / Summary
succeeded
Apr 24, 2026 in 1s
no workflow automation rules configured
馃挅聽聽Mergify is proud to provide this service for free to open source projects.
馃殌聽聽You can help us by becoming a sponsor!
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