Jenkinsfile: formatting

runtimeverification · Jun 15, 2019 · 8d62869 · 8d62869
1 parent dff583a
commit 8d62869
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
       agent any
       steps {
         script {
-          def jobName = env.JOB_NAME
+          def jobName     = env.JOB_NAME
           def buildNumber = env.BUILD_NUMBER.toInteger()
           def currentJobs = Jenkins.instance.getItemByFullName(jobName)
           for (def build : currentJobs.builds) {