Skip to content

Comments

ci: automated tool updates#96

Merged
kleister[bot] merged 1 commit intomasterfrom
update/tools
Dec 8, 2025
Merged

ci: automated tool updates#96
kleister[bot] merged 1 commit intomasterfrom
update/tools

Conversation

@kleister
Copy link

@kleister kleister bot commented Dec 8, 2025

New versions updated, automerge should handle that!

Signed-off-by: GitHub Actions <github@webhippie.de>
@kleister kleister bot added the tools Tools updates used for CI and other tasks label Dec 8, 2025
@kleister kleister bot enabled auto-merge (rebase) December 8, 2025 08:35
@kleister kleister bot merged commit 9f1f03b into master Dec 8, 2025
7 checks passed
@kleister kleister bot deleted the update/tools branch December 8, 2025 08:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tools Tools updates used for CI and other tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant