diff --git a/Jenkinsfile b/Jenkinsfile index 5518c017..3aa653a0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,17 @@ pipeline { steps { 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') { steps { @@ -23,11 +34,7 @@ pipeline { script { utils = new Utils() 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 { cleanWs()