linse/frappy
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Correct checks enum

Browse Source 
Change-Id: Ibe23825bfdfcac15262987383407e18ead4cf880
Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/25840
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
This commit is contained in:
Bjoern Pedersen
2021-04-30 08:05:27 +02:00
parent a85201ad7d
commit f2b330a3f0
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
ci/Jenkinsfile vendored
View File

@ -70,7 +70,7 @@ fi
echo "pylint result: $res" echo "pylint result: $res"
this.verifyresult.put('pylint'+pyver, 1) this.verifyresult.put('pylint'+pyver, 1)
cpylint = "SUCCESSFULL" cpylint = "SUCCESSFUL"
if ( res != 0 ) { if ( res != 0 ) {
currentBuild.result='FAILURE' currentBuild.result='FAILURE'
this.verifyresult.put('pylint'+ pyver, -1) this.verifyresult.put('pylint'+ pyver, -1)
@ -117,7 +117,7 @@ python3 setup.py develop
make test make test
''' '''
verifyresult.put(pyver, 1) verifyresult.put(pyver, 1)
cpytest = "SUCCESSFULL" cpytest = "SUCCESSFUL"
} }
} catch (all) { } catch (all) {
currentBuild.result = 'FAILURE' currentBuild.result = 'FAILURE'
@ -136,6 +136,8 @@ make test
} }
def run_docs() { def run_docs() {
def cdocs = "RUNNING"
gerritPostCheck(["jenkins:docs":cdocs])
stage('prepare') { stage('prepare') {
sh ''' sh '''
. /home/jenkins/secopvenv/bin/activate . /home/jenkins/secopvenv/bin/activate
@ -183,8 +185,9 @@ def run_docs() {
stage('store html doc for build') { stage('store html doc for build') {
publishHTML([allowMissing: false, alwaysLinkToLastBuild: false, keepAll: true, reportDir: 'doc/_build/html', reportFiles: 'index.html', reportName: 'Built documentation', reportTitles: '']) publishHTML([allowMissing: false, alwaysLinkToLastBuild: false, keepAll: true, reportDir: 'doc/_build/html', reportFiles: 'index.html', reportName: 'Built documentation', reportTitles: ''])
cdocs = "SUCCESSFUL"
} }
gerritPostCheck(["jenkins:docs":cdocs])
} }