Projet

Général

Profil

0001-Jenkinsfile-use-mergeJunitResults-38312.patch

Benjamin Dauvergne, 09 décembre 2019 15:31

Télécharger (726 octets)

Voir les différences: 

Subject: [PATCH] Jenkinsfile: use mergeJunitResults() (#38312)


 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
Jenkinsfile
16 16 
                        utils.publish_coverage_native('index.html')
17 17 
                        utils.publish_pylint('pylint.out')
18 18 
                    }
19 
                    junit '*_results.xml'
19 
                    mergeJunitResults()
20 20 
                }
21 21 
            }
22 22 
        }
23 
-