Update .github/workflows/verify-std-check.yml

tautschnig · Jul 29, 2024 · a71fdaa · a71fdaa
1 parent a7bf910
commit a71fdaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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