Skip to content

Bump build & pipeline dependencies - #55

Merged
empwilli merged 2 commits into
mainfrom
empwilli/bump_dependencies
Oct 30, 2026
Merged

empwilli merged 2 commits into
mainfrom
empwilli/bump_dependencies

Conversation

@empwilli

Copy link
Copy Markdown
Contributor

Bump the package & pipeline vulnerabilities.

We bump several Java build dependencies.
In the light of recent security vulnerabilities, we bump the pipeline
actions to their most recent versions.
@empwilli
empwilli merged commit add1607 into main Oct 30, 2026
2 checks passed
@empwilli
empwilli deleted the empwilli/bump_dependencies branch October 30, 2026 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant