summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrédéric Péters <fpeters@entrouvert.com>2020-03-17 18:14:28 (GMT)
committerFrédéric Péters <fpeters@entrouvert.com>2020-03-17 18:14:28 (GMT)
commit537e37d371f2427d6fa71f682ff381034daca27d (patch)
tree4b35b49171a0d1a84730ef115b3699859c540da7
parent62d08f4243c8a9d558d8c9b8cea1e25b7345d8e8 (diff)
downloadwelco-537e37d371f2427d6fa71f682ff381034daca27d.zip
welco-537e37d371f2427d6fa71f682ff381034daca27d.tar.gz
welco-537e37d371f2427d6fa71f682ff381034daca27d.tar.bz2
jenkins: switch to mergeJunitResults
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index f577237..86e03fa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,7 +16,7 @@ pipeline {
utils.publish_coverage_native('index.html')
utils.publish_pylint('pylint.out')
}
- junit '*_results.xml'
+ mergeJunitResults()
}
}
}