From a71fdaabfef41208aaabc8acc4f525f07c3c29ea Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Mon, 29 Jul 2024 11:30:06 -0700
Subject: [PATCH] Update .github/workflows/verify-std-check.yml

---
 .github/workflows/verify-std-check.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/verify-std-check.yml b/.github/workflows/verify-std-check.yml
index cb204fb5bae9..2ab65be36053 100644
--- a/.github/workflows/verify-std-check.yml
+++ b/.github/workflows/verify-std-check.yml
@@ -39,7 +39,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: kani
-          fetch-depth: 2
+          fetch-depth: 0
 
       - name: Setup Kani Dependencies
         uses: ./kani/.github/actions/setup