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

DavideD · DavideD · commit 1cd015faeb19 · 2024-12-12T19:04:20.000+01:00
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])

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ pipeline {`
`61`	`61`	`label 'Worker&&Containers'`
`62`	`62`	`}`
`63`	`63`	`tools {`
`64`		`- jdk 'OpenJDK 11 Latest'`
	`64`	`+ jdk 'OpenJDK 17 Latest'`
`65`	`65`	`}`
`66`	`66`	`options {`
`67`	`67`	`buildDiscarder logRotator(daysToKeepStr: '30', numToKeepStr: '10')`
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ pipeline {`
`15`	`15`	`label 'Fedora'`
`16`	`16`	`}`
`17`	`17`	`tools {`
`18`		`- jdk 'OpenJDK 11 Latest'`
	`18`	`+ jdk 'OpenJDK 17 Latest'`
`19`	`19`	`}`
`20`	`20`	`options {`
`21`	`21`	`rateLimitBuilds(throttle: [count: 1, durationName: 'hour', userBoost: true])`