diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile index 9d94afb151..404ce600ea 100644 --- a/.jenkins/Jenkinsfile +++ b/.jenkins/Jenkinsfile @@ -55,7 +55,7 @@ pipeline { } } } - stage('JVM DTests') { + stage('jvm-dtest') { steps { script { jvm_dtest = build job: "${env.JOB_NAME}-jvm-dtest", propagate: false @@ -72,6 +72,23 @@ pipeline { } } } + stage('jvm-dtest-upgrade') { + steps { + script { + jvm_dtest_upgrade = build job: "${env.JOB_NAME}-jvm-dtest-upgrade", propagate: false + if (jvm_dtest_upgrade.result != 'SUCCESS') unstable('jvm-dtest-upgrade failures') + } + } + post { + always { + warnError('missing test xml files') { + script { + copyTestResults('jvm-dtest-upgrade', jvm_dtest_upgrade.getNumber()) + } + } + } + } + } stage('units') { steps { script {