Update JenkinsFile files to OpenJDK 17

DavideD · Dec 3, 2024 · 2353f76 · 2353f76
1 parent 079c49a
commit 2353f76
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -61,7 +61,7 @@ pipeline {
 		label 'Worker&&Containers'
 	}
 	tools {
-		jdk 'OpenJDK 11 Latest'
+		jdk 'OpenJDK 17 Latest'
 	}
 	options {
 		buildDiscarder logRotator(daysToKeepStr: '30', numToKeepStr: '10')

diff --git a/ci/snapshot-publish.Jenkinsfile b/ci/snapshot-publish.Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         label 'Fedora'
     }
     tools {
-        jdk 'OpenJDK 11 Latest'
+        jdk 'OpenJDK 17 Latest'
     }
     options {
   		rateLimitBuilds(throttle: [count: 1, durationName: 'hour', userBoost: true])