Skip to content

switch Jenkins to use Java 17#2195

Merged
evgeni merged 2 commits intomasterfrom jenkins-java-17Jan 7, 2025

Commits

Commits on Jan 6, 2025