Upgrade CI job to use JDK 13 for edge testing.

gregturn · gregturn · commit 53edf1c7ba47 · 2019-10-01T10:16:27.000-05:00
Resolves #112.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -71,21 +71,21 @@ pipeline {
 						sh "PROFILE=spring-next,convergence ci/test.sh"
 					}
 				}
-				stage("Test: baseline (jdk12)") {
+				stage("Test: baseline (jdk13)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk12:latest'
+							image 'adoptopenjdk/openjdk13:latest'
 							args '-v $HOME/.m2:/root/.m2'
 						}
 					}
 					steps {
 						sh "PROFILE=convergence ci/test.sh"
 					}
 				}
-				stage("Test: spring-next (jdk12)") {
+				stage("Test: spring-next (jdk13)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk12:latest'
+							image 'adoptopenjdk/openjdk13:latest'
 							args '-v $HOME/.m2:/root/.m2'
 						}
 					}

Original file line number	Diff line number	Diff line change
`@@ -71,21 +71,21 @@ pipeline {`
`71`	`71`	`sh "PROFILE=spring-next,convergence ci/test.sh"`
`72`	`72`	`}`
`73`	`73`	`}`
`74`		`- stage("Test: baseline (jdk12)") {`
	`74`	`+ stage("Test: baseline (jdk13)") {`
`75`	`75`	`agent {`
`76`	`76`	`docker {`
`77`		`- image 'adoptopenjdk/openjdk12:latest'`
	`77`	`+ image 'adoptopenjdk/openjdk13:latest'`
`78`	`78`	`args '-v $HOME/.m2:/root/.m2'`
`79`	`79`	`}`
`80`	`80`	`}`
`81`	`81`	`steps {`
`82`	`82`	`sh "PROFILE=convergence ci/test.sh"`
`83`	`83`	`}`
`84`	`84`	`}`
`85`		`- stage("Test: spring-next (jdk12)") {`
	`85`	`+ stage("Test: spring-next (jdk13)") {`
`86`	`86`	`agent {`
`87`	`87`	`docker {`
`88`		`- image 'adoptopenjdk/openjdk12:latest'`
	`88`	`+ image 'adoptopenjdk/openjdk13:latest'`
`89`	`89`	`args '-v $HOME/.m2:/root/.m2'`
`90`	`90`	`}`
`91`	`91`	`}`