diff --git a/Jenkinsfile b/Jenkinsfile index cd0755c..5072511 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,16 @@ pipeline { steps { sh 'tox -rv' } + post { + always { + script { + utils = new Utils() + utils.publish_coverage('coverage.xml') + utils.publish_coverage_native('index.html') + } + mergeJunitResults() + } + } } stage('Packaging') { steps { @@ -25,10 +35,7 @@ pipeline { script { utils = new Utils() utils.mail_notify(currentBuild, env, 'ci+jenkins-eopayment@entrouvert.org') - utils.publish_coverage('coverage.xml') - utils.publish_coverage_native('index.html') } - mergeJunitResults() } success { cleanWs()