From 100f9d74b6537c0c78f75b3a1a115dfb6c1d7c2e Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Tue, 2 Aug 2022 17:01:10 +0200
Subject: [PATCH] Update Jenkinsfile

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

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