Skip to content

ci: automated tool updates - #282

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

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

Conversation

@webhippie

@webhippie webhippie Bot commented Aug 31, 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 31, 2026
@webhippie
webhippie Bot enabled auto-merge (rebase) August 31, 2026 15:58
@webhippie
webhippie Bot merged commit 82bc711 into master Aug 31, 2026
10 checks passed
@webhippie
webhippie Bot deleted the update/tools branch August 31, 2026 16:00
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