jenkins: publish results earlier (#27401)

This commit is contained in:
Emmanuel Cazenave 2018-12-24 10:59:16 +01:00 committed by Frédéric Péters
parent 7fdf73f7fe
commit 90e0fa5334
1 changed files with 11 additions and 4 deletions

15
Jenkinsfile vendored
View File

@ -7,6 +7,17 @@ pipeline {
steps {
sh './jenkins.sh'
}
post {
always {
script {
utils = new Utils()
utils.publish_coverage('coverage.xml')
utils.publish_coverage_native('index.html')
utils.publish_pylint('pylint.out')
}
junit '*_results.xml'
}
}
}
stage('Packaging') {
steps {
@ -23,11 +34,7 @@ pipeline {
script {
utils = new Utils()
utils.mail_notify(currentBuild, env, 'admin+jenkins-wcs@entrouvert.com')
utils.publish_coverage('coverage.xml')
utils.publish_coverage_native('index.html')
utils.publish_pylint('pylint.out')
}
junit '*_results.xml'
}
success {
cleanWs()