Skip to content

chore(deps): update vendored sdkman install-script - #179

Merged
mreuvekamp merged 2 commits into
mainfrom
deps/script-sdkman
Oct 19, 2026
Merged

mreuvekamp merged 2 commits into
mainfrom
deps/script-sdkman

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Wekelijkse upstream-check heeft gedetecteerd dat het install-script voor
sdkman upstream is gewijzigd. Het vendored bestand in
vendor/install-scripts/sdkman.sh is bijgewerkt zodat de build zonder onderbreking blijft draaien.

  • URL: https://get.sdkman.io
  • Oude SHA: b6f4fb257b420c7291c35549ae714af6d5af290bb8d57c219918f1f3d3d3e052
  • Nieuwe SHA: 151a6fa9494053deda70ae54f93c2edf43716ddf0da2a1033c1d65a19a24b78e

Bekijk de PR-diff voor de daadwerkelijke wijziging in het script en verifieer
lokaal met docker compose build --no-cache voor je merget.

@mreuvekamp
mreuvekamp added this pull request to the merge queue Oct 19, 2026
Merged via the queue into main with commit 4fefe7d Oct 19, 2026
11 checks passed
@mreuvekamp
mreuvekamp deleted the deps/script-sdkman branch October 19, 2026 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Dependancy issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants