From d9908b99e3f57b3eaad561d35b0fec76387edfe8 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 20 Sep 2022 14:18:45 +0200
Subject: [PATCH] Update 'Jenkinsfile'

small change
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 822e1fa..101f718 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -26,7 +26,7 @@ pipeline {
     stages {
         stage('Checkout git project') {
             steps {
-                git branch: '${params.GIT_BRANCH}', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', url: '${params.GIT_URL}'
+                git branch: '${GIT_BRANCH}', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', url: '${GIT_URL}'
             }
         }
         stage('Build the job') {