diff --git a/Jenkinsfile b/Jenkinsfile index f072ccc..3f258b4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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',