From 19ea0256a44922060ad55819fada29ddaaba7f81 Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Tue, 2 Aug 2022 16:54:19 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index e5d3488..ca0c659 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,6 +47,7 @@ pipeline{
               // top-level of the Pipeline, in the same workspace,
               // rather than on a new node entirely:
               reuseNode true
+              alwaysPull false
           }
       }
       steps {