#463 - Use JDK 15 for CI jobs.

gregturn · gregturn · commit bdc488de0974 · 2020-10-26T16:08:53.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -60,10 +60,10 @@ pipeline {
 					}
 				}
 
-				stage("test: baseline (jdk14)") {
+				stage("test: baseline (jdk15)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk14:latest'
+							image 'adoptopenjdk/openjdk15:latest'
 							label 'data'
 							args '-u root -v /var/run/docker.sock:/var/run/docker.sock'
 							// root but with no maven caching

Original file line number	Diff line number	Diff line change
`@@ -60,10 +60,10 @@ pipeline {`
`60`	`60`	`}`
`61`	`61`	`}`
`62`	`62`
`63`		`- stage("test: baseline (jdk14)") {`
	`63`	`+ stage("test: baseline (jdk15)") {`
`64`	`64`	`agent {`
`65`	`65`	`docker {`
`66`		`- image 'adoptopenjdk/openjdk14:latest'`
	`66`	`+ image 'adoptopenjdk/openjdk15:latest'`
`67`	`67`	`label 'data'`
`68`	`68`	`args '-u root -v /var/run/docker.sock:/var/run/docker.sock'`
`69`	`69`	`// root but with no maven caching`