Projet

Général

Profil

0001-jenkins-publish-results-earlier-27401.patch

Emmanuel Cazenave, 24 décembre 2018 12:18

Télécharger (1,42 ko)

Voir les différences: 

Subject: [PATCH] jenkins: publish results earlier (#27401)


 Jenkinsfile | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)
Jenkinsfile
7 7 
            steps {
8 8 
                sh './jenkins.sh'
9 9 
            }
10 
            post {
11 
                always {
12 
                    script {
13 
                        utils = new Utils()
14 
                        utils.publish_coverage('coverage.xml')
15 
                        utils.publish_coverage_native('index.html')
16 
                        utils.publish_pylint('pylint.out')
17 
                    }
18 
                    junit '*_results.xml'
19 
                }
20 
            }
10 21 
        }
11 22 
        stage('Packaging') {
12 23 
            steps {
......
23 34 
            script {
24 35 
                utils = new Utils()
25 36 
                utils.mail_notify(currentBuild, env, 'admin+jenkins-wcs@entrouvert.com')
26 
                utils.publish_coverage('coverage.xml')
27 
                utils.publish_coverage_native('index.html')
28 
                utils.publish_pylint('pylint.out')
29 37 
            }
30 
            junit '*_results.xml'
31 38 
        }
32 39 
        success {
33 40 
            cleanWs()
34 
-