Jenkinsfile: Use Java 17

Zomis · Dec 8, 2021 · f612f4f · f612f4f
1 parent 12224db
commit f612f4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
         timeout(time: 1, unit: 'HOURS')
     }
     tools {
-        jdk 'Java11'
+        jdk 'Java17'
     }
 
     stages {