jenkins: switch to mergeJunitResults

This commit is contained in:
Frédéric Péters 2020-03-17 19:14:28 +01:00
parent 62d08f4243
commit 537e37d371
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -16,7 +16,7 @@ pipeline {
utils.publish_coverage_native('index.html')
utils.publish_pylint('pylint.out')
}
junit '*_results.xml'
mergeJunitResults()
}
}
}