Repository navigation

Publish with JDK 17 locally and in publish.yml - #18

Merged

winrid merged 1 commit into

mainfrom

publish-script-jdk17

Oct 28, 2026

Merged

Publish with JDK 17 locally and in publish.yml#18
winrid merged 1 commit into
mainfrom
publish-script-jdk17

Commits on Oct 28, 2026
- Publish with JDK 17: pick sdkman's 17 locally, set up 17 in publish.yml, stop on failed module builds
  winrid
  committed
  7eec229