diff --git a/Jenkinsfile b/Jenkinsfile index f9d73c27..7d7b635c 100644 --- 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') {