diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 3aac3fd..f57b1d3 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -29,6 +29,7 @@ def changedFiles = ''; def run_pylint(pyver) { + stage ('pylint-' + pyver) { def status = 'OK' changedFiles = sh returnStdout: true, script: '''\ #!/bin/bash @@ -87,6 +88,7 @@ fi ]) if (status == 'FAILURE') { throw new Exception('Failure in pylint with ' + pyver) + } } } // run_pylint