From 0e94002b0369677e6503690e28bacb0503b6f07a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Mon, 8 Apr 2019 18:17:41 +0200
Subject: [PATCH] jenkins: publish results earlier (#27401)

---
 Jenkinsfile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fb048a4..fd42f72 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')
+                    }
+                    junit '*_results.xml'
+                }
+            }
         }
         stage('Packaging') {
             steps {
@@ -23,10 +33,7 @@ pipeline {
             script {
                 utils = new Utils()
                 utils.mail_notify(currentBuild, env, 'admin+jenkins-bijoe@entrouvert.com')
-                utils.publish_coverage('coverage.xml')
-                utils.publish_coverage_native('index.html')
             }
-            junit '*_results.xml'
         }
         success {
             cleanWs()