From db1fe8505a22773135e9c1af5a89d2b535facba3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Wed, 2 Jan 2019 16:28:12 +0100
Subject: [PATCH] jenkins: publish results earlier (#29405)

---
 Jenkinsfile | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

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()