diff --git a/contrib/aws/Jenkinsfile b/contrib/aws/Jenkinsfile
index 2edbb0c5945..4fb0128a759 100644
--- a/contrib/aws/Jenkinsfile
+++ b/contrib/aws/Jenkinsfile
@@ -131,6 +131,7 @@ pipeline {
     options {
         buildDiscarder(logRotator(daysToKeepStr: "90"))
         timeout(time: 10, unit: 'HOURS')
+        skipDefaultCheckout()
     }
     environment {
         // AWS region where the cluster is created