From a0d714606f7755f535cfdf38457ba8072d2839d5 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 20 Mar 2024 16:19:30 +0100
Subject: [PATCH] Update 'Jenkinsfile'

syntax fix exec_label variable
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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',