Correctly publish pylint results

Change-Id: Ica71417f8e13959eb46065f1fe664b362d701d8c
Reviewed-on: https://forge.frm2.tum.de/review/19619
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
This commit is contained in:
Björn Pedersen 2018-12-14 13:32:55 +01:00 committed by Bjoern Pedersen
parent c0f7034b30
commit 17ae9a4be6

3
ci/Jenkinsfile vendored
View File

@ -62,12 +62,13 @@ fi
} // credentials
echo "pylint result: $res"
this.verifyresult.put('pylint'+pyver, 1)
if ( res != 0 ) {
currentBuild.result='FAILURE'
this.verifyresult.put('pylint'+ pyver, -1)
status = 'FAILURE'
}
gerritverificationpublisher([
verifyStatusValue: this.verifyresult['pylint'+pyver],
verifyStatusCategory: 'pylint ',