0001-jenkins-publish-results-earlier-29405.patch
Jenkinsfile | ||
---|---|---|
7 | 7 |
steps { |
8 | 8 |
sh 'tox -rv' |
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-combo@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 |
- |