jenkins: switch to mergeJunitResults
This commit is contained in:
parent
62d08f4243
commit
537e37d371
|
@ -16,7 +16,7 @@ pipeline {
|
|||
utils.publish_coverage_native('index.html')
|
||||
utils.publish_pylint('pylint.out')
|
||||
}
|
||||
junit '*_results.xml'
|
||||
mergeJunitResults()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue