From 7f77ff59c4f6b53c586f564319d3fb12c32d53f2 Mon Sep 17 00:00:00 2001
From: Seth Zegelstein <szegel@amazon.com>
Date: Wed, 8 Jan 2025 02:20:42 +0000
Subject: [PATCH] contrib/aws: Skip default checkout

Skip the default checkout of the workspace because we explicitly
checkout out the workspace after we clean it.

Signed-off-by: Seth Zegelstein <szegel@amazon.com>
Co-authored-by: Nathan Na <nzhenye@amazon.com>
---
 contrib/aws/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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