From 7601e9edc2d14642703a88af5646b4628986a3ee Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 5 Apr 2022 16:01:10 +0200
Subject: [PATCH] Update 'Jenkinsfile'

add credentials
---
 Jenkinsfile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8b787b1..390083c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -23,9 +23,11 @@ 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') {