Skip to content

ci: automated tool updates#687

Merged
promhippie[bot] merged 1 commit into
masterfrom
update/tools
May 11, 2026
Merged

ci: automated tool updates#687
promhippie[bot] merged 1 commit into
masterfrom
update/tools

Conversation

@promhippie
Copy link
Copy Markdown
Contributor

@promhippie promhippie Bot commented May 11, 2026

New versions updated, automerge should handle that!

@promhippie promhippie Bot added the tools Tools updates used for CI and other tasks label May 11, 2026
@promhippie promhippie Bot enabled auto-merge (rebase) May 11, 2026 11:30
Signed-off-by: GitHub Actions <github@webhippie.de>
@promhippie promhippie Bot merged commit cd85465 into master May 11, 2026
15 checks passed
@promhippie promhippie Bot deleted the update/tools branch May 11, 2026 19:38
@promhippie
Copy link
Copy Markdown
Contributor Author

promhippie Bot commented May 18, 2026

🎉 This PR is included in version 13.0.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@promhippie promhippie Bot added the released label May 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

released tools Tools updates used for CI and other tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant