diff --git a/.ci/aws/Jenkinsfile b/.ci/aws/Jenkinsfile index f4947a6ad..62a8b28f0 100644 --- a/.ci/aws/Jenkinsfile +++ b/.ci/aws/Jenkinsfile @@ -134,6 +134,7 @@ pipeline { options { buildDiscarder(logRotator(daysToKeepStr: "365")) timeout(time: 8, unit: 'HOURS') + skipDefaultCheckout() } environment { // AWS region where the cluster is created