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 {