Skip to content

ci: automated tool updates - #281

Merged
webhippie[bot] merged 2 commits into
masterfrom
update/tools
Aug 25, 2026
Merged

ci: automated tool updates#281
webhippie[bot] merged 2 commits 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 bc68761 into master Aug 25, 2026
10 checks passed
@webhippie
webhippie Bot deleted the update/tools branch August 25, 2026 07:29
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