Fixes to Jenkinsfile
Change-Id: Id75b49fd8c38ef90a0869ba6845a36f338a239b5 Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/25837 Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de> Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
This commit is contained in:
parent
7ea4e3955a
commit
ffc2c495fb
2
ci/Jenkinsfile
vendored
2
ci/Jenkinsfile
vendored
@ -30,7 +30,7 @@ def changedFiles = '';
|
|||||||
|
|
||||||
def run_pylint(pyver) {
|
def run_pylint(pyver) {
|
||||||
stage ('pylint-' + pyver) {
|
stage ('pylint-' + pyver) {
|
||||||
gerritPostCheck(["jenkins:pylint_${pyver}:"RUNNING"])
|
gerritPostCheck(["jenkins:pylint_${pyver}":"RUNNING"])
|
||||||
def status = 'OK'
|
def status = 'OK'
|
||||||
changedFiles = sh returnStdout: true, script: '''\
|
changedFiles = sh returnStdout: true, script: '''\
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
Loading…
x
Reference in New Issue
Block a user