From 23c5530f681abb61a24fe61b74ed5901a7b7bad7 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Mon, 9 Dec 2019 15:33:28 +0100
Subject: [PATCH] Jenkinsfile: use mergeJunitResults() (#38313)

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6f7f332..a6c9687 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,7 +25,7 @@ pipeline {
                             'index.html', 'htmlcov-coverage-passerelle', 'Coverage passerelle tests')
                         utils.publish_pylint('pylint.out')
                     }
-                    junit 'junit-*.xml'
+                    mergeJunitResults()
                 }
             }
         }
-- 
2.23.0