From 8016e8b393f96583d7080b2e3250d98c7cf883aa Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 4 Apr 2022 17:47:39 +0200
Subject: [PATCH] Update 'Jenkinsfile'

fix withCredentials
---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3a0feb4..3e1002c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,10 +22,10 @@ pipeline {
       }
     }
     stage('Building image') {
-      steps{
-        withCredentials([string(credentialsId: 'GITHUB_PAT', variable: 'GITHUB_PAT')]) {
+       withCredentials([string(credentialsId: 'GITHUB_PAT', variable: 'GITHUB_PAT')]) {
+        steps{
             script {
-                     dockerImage = docker.build imagename
+               dockerImage = docker.build imagename
             }
         }
       }