Projet

Général

Profil

0001-Jenkinsfile-use-mergeJunitResults-38317.patch

Benjamin Dauvergne, 09 décembre 2019 15:42

Télécharger (1,18 ko)

Voir les différences: 

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


 Jenkinsfile | 2 +-
 tox.ini     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
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 
        }
tox.ini
27 27 
  git+https://git.entrouvert.org/debian/django-ckeditor.git
28 28 
commands =
29 29 
  django111: ./pylint.sh welco/
30 
  django111: py.test {posargs: --junitxml=test_{envname}_results.xml --cov-report xml --cov-report html --cov=welco/ tests/}
30 
  django111: py.test {posargs: --junitxml=junit-{envname}.xml --cov-report xml --cov-report html --cov=welco/ tests/}
31 
-