Upgrade Jenkins to Java 17

Jay Bryant · Jay Bryant · commit 9b98a7002997 · 2022-11-30T14:24:54.000-06:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,10 +11,10 @@ pipeline {
 	}
 
 	stages {
-		stage("test: baseline (jdk8)") {
+		stage("test: baseline (jdk17)") {
 			agent {
 				docker {
-					image 'adoptopenjdk/openjdk8:latest'
+					image 'adoptopenjdk/openjdk17:latest'
 					args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 				}
 			}

Original file line number	Diff line number	Diff line change
`@@ -11,10 +11,10 @@ pipeline {`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`stages {`
`14`		`- stage("test: baseline (jdk8)") {`
	`14`	`+ stage("test: baseline (jdk17)") {`
`15`	`15`	`agent {`
`16`	`16`	`docker {`
`17`		`- image 'adoptopenjdk/openjdk8:latest'`
	`17`	`+ image 'adoptopenjdk/openjdk17:latest'`
`18`	`18`	`args '-v $HOME/.m2:/tmp/jenkins-home/.m2'`
`19`	`19`	`}`
`20`	`20`	`}`