jenkins: publish results earlier (#29405)

This commit is contained in:
Frédéric Péters 2019-01-02 16:28:12 +01:00
parent 29b6a7305b
commit db1fe8505a
1 changed files with 11 additions and 4 deletions

15
Jenkinsfile vendored
View File

@ -7,6 +7,17 @@ pipeline {
steps { steps {
sh 'tox -rv' sh 'tox -rv'
} }
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') { stage('Packaging') {
steps { steps {
@ -23,11 +34,7 @@ pipeline {
script { script {
utils = new Utils() utils = new Utils()
utils.mail_notify(currentBuild, env, 'admin+jenkins-combo@entrouvert.com') utils.mail_notify(currentBuild, env, 'admin+jenkins-combo@entrouvert.com')
utils.publish_coverage('coverage.xml')
utils.publish_coverage_native('index.html')
utils.publish_pylint('pylint.out')
} }
junit '*_results.xml'
} }
success { success {
cleanWs() cleanWs()