Update 'Jenkinsfile'

syntax fix exec_label variable
2024-03-20 16:19:30 +01:00 · 2024-03-20 16:19:30 +01:00 · a0d714606f
parent 82267f9ffd
commit a0d714606f
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -19,7 +19,7 @@ pipeline {
        GIT_BRANCH="${params.GIT_BRANCH.split('/').size() > 1 ? params.GIT_BRANCH.split('/')[1..-1].join('/') : params.GIT_BRANCH}"
        gcube_settings="${params.gcube_settings}"
        local_repo="${params.local_repo}"
-        exe_label="${params.exec_label}"
+        exec_label="${params.exec_label}"
    }
    parameters {
      string(name: 'GIT_URL',