diff --git a/Jenkinsfile b/Jenkinsfile index ae9610933e..d10a26ac68 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -66,6 +66,21 @@ try { } } } + }, + jdk10: { + stage('JDK 10') { + node { + checkout scm + try { + withEnv(["JAVA_HOME=${ tool 'jdk10' }"]) { + sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace" + } + } catch(Exception e) { + currentBuild.result = 'FAILED: jdk10' + throw e + } + } + } } if(currentBuild.result == 'SUCCESS') {