Skip to content

ci: automated tool updates - #290

Merged
webhippie[bot] merged 1 commit into
masterfrom
update/tools
Aug 24, 2026
Merged

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

Conversation

@webhippie

@webhippie webhippie Bot commented Aug 24, 2026

Copy link
Copy Markdown
Contributor

New versions updated, automerge should handle that!

Signed-off-by: GitHub Actions <github@webhippie.de>
@webhippie webhippie Bot added the tools Tools updates used for CI and other tasks label Aug 24, 2026
@webhippie
webhippie Bot enabled auto-merge (rebase) August 24, 2026 08:51
@webhippie
webhippie Bot merged commit 2e0644b into master Aug 24, 2026
9 of 10 checks passed
@webhippie
webhippie Bot deleted the update/tools branch August 24, 2026 08:53
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