Add Java 12 CI build

vpavic · vpavic · commit e6a88ccf4cfa · 2019-05-10T22:18:59.000+02:00
Resolves: #1422
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -81,6 +81,24 @@ try {
 				}
 			}
 		}
+	},
+	jdk12: {
+		stage('JDK 12') {
+			timeout(time: 45, unit: 'MINUTES') {
+				node('ubuntu1804') {
+					checkout scm
+					try {
+						withEnv(["JAVA_HOME=${tool 'openjdk12'}"]) {
+							sh './gradlew clean test integrationTest --no-daemon --refresh-dependencies'
+						}
+					}
+					catch (e) {
+						currentBuild.result = 'FAILED: jdk12'
+						throw e
+					}
+				}
+			}
+		}
 	}
 
 	if (currentBuild.result == 'SUCCESS') {

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,24 @@ try {`
`81`	`81`	`}`
`82`	`82`	`}`
`83`	`83`	`}`
	`84`	`+ },`
	`85`	`+ jdk12: {`
	`86`	`+ stage('JDK 12') {`
	`87`	`+ timeout(time: 45, unit: 'MINUTES') {`
	`88`	`+ node('ubuntu1804') {`
	`89`	`+ checkout scm`
	`90`	`+ try {`
	`91`	`+ withEnv(["JAVA_HOME=${tool 'openjdk12'}"]) {`
	`92`	`+ sh './gradlew clean test integrationTest --no-daemon --refresh-dependencies'`
	`93`	`+ }`
	`94`	`+ }`
	`95`	`+ catch (e) {`
	`96`	`+ currentBuild.result = 'FAILED: jdk12'`
	`97`	`+ throw e`
	`98`	`+ }`
	`99`	`+ }`
	`100`	`+ }`
	`101`	`+ }`
`84`	`102`	`}`
`85`	`103`
`86`	`104`	`if (currentBuild.result == 'SUCCESS') {`