Revert "Add Java 12 CI build"

See: #1422
2019-05-10 09:39:24 +02:00
parent 3bd892ec16
commit 36f1cd5302
1 changed files with 0 additions and 18 deletions
--- a/18
+++ b/18
@@ -81,24 +81,6 @@ try {
 				}
 			}
 		}
-	},
-	jdk12: {
-		stage('JDK 12') {
-			timeout(time: 45, unit: 'MINUTES') {
-				node('ubuntu1804') {
-					checkout scm
-					try {
-						withEnv(["JAVA_HOME=${tool 'jdk12'}"]) {
-							sh './gradlew clean test integrationTest --no-daemon --refresh-dependencies'
-						}
-					}
-					catch (e) {
-						currentBuild.result = 'FAILED: jdk12'
-						throw e
-					}
-				}
-			}
-		}
 	}

 	if (currentBuild.result == 'SUCCESS') {