Skip to content

ci: pin JDK 17 in the publish job - #119

Merged
tanderson-ld merged 1 commit into
mainfrom
tanderson/publish-jdk-pin
Nov 3, 2026
Merged

ci: pin JDK 17 in the publish job#119
tanderson-ld merged 1 commit into
mainfrom
tanderson/publish-jdk-pin

ci: pin JDK 17 in the publish job

8545022
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar