Test on Java 17 by default (#467)

jenkinsci · Jul 31, 2023 · 3c3de61 · 3c3de61
1 parent 840bc19
commit 3c3de61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -13,7 +13,7 @@ node('java') {
 
         stage('Build') {
             withEnv([
-                "JAVA_HOME=${tool 'jdk11'}",
+                "JAVA_HOME=${tool 'jdk17'}",
                 "PATH+MVN=${tool 'mvn'}/bin",
                 'PATH+JDK=$JAVA_HOME/bin',
             ]) {