diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile index a8de0389c24..d7faeb60677 100644 --- a/dev-support/Jenkinsfile +++ b/dev-support/Jenkinsfile @@ -169,6 +169,7 @@ curl -L -o personality.sh "${env.PROJET_PERSONALITY}" } post { always { + junit testResults: 'output-jdk7/**/target/**/TEST-*.xml', allowEmptyResults: true // zip surefire reports. sh '''#!/bin/bash -e if [ -d "${OUTPUTDIR}/archiver" ]; then @@ -186,7 +187,6 @@ curl -L -o personality.sh "${env.PROJET_PERSONALITY}" // env variables don't work in archive? or this has to be relative to WORKSPACE. :( archive 'output-jdk7/*' archive 'output-jdk7/**/*' - junit 'output-jdk7/**/target/**/TEST-*.xml' publishHTML target: [ allowMissing: true, keepAll: true, @@ -219,6 +219,7 @@ curl -L -o personality.sh "${env.PROJET_PERSONALITY}" } post { always { + junit testResults: 'output-jdk8/**/target/**/TEST-*.xml', allowEmptyResults: true // zip surefire reports. sh '''#!/bin/bash -e if [ -d "${OUTPUTDIR}/archiver" ]; then @@ -236,7 +237,6 @@ curl -L -o personality.sh "${env.PROJET_PERSONALITY}" // env variables don't work in archive? or this has to be relative to WORKSPACE. :( archive 'output-jdk8/*' archive 'output-jdk8/**/*' - junit 'output-jdk8/**/target/**/TEST-*.xml' publishHTML target: [ allowMissing: true, keepAll: true,