[hibernate#1895] Upgrade JDK to 17 for jenkins pipelines

DavideD · Dec 12, 2024 · fbf9c12 · fbf9c12
1 parent 65eee51
commit fbf9c12
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])