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

add GITHUB_PAT variable
---
 Jenkinsfile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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