From 61625312b6e1a48043eaf087adcfd47d3e7e26a3 Mon Sep 17 00:00:00 2001
From: thanhnguyen-aws <ntson@amazon.com>
Date: Tue, 26 Nov 2024 16:51:29 -0800
Subject: [PATCH] fix release.yml

---
 .github/workflows/release.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1991dbb87ed2..c0834017373e 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -119,7 +119,12 @@ jobs:
           rm get-pip.py
 
       - name: Checkout Kani
-        run: git clone https://github.com/model-checking/kani/
+        run: |
+          git init .
+          git remote add origin model-checking/kani
+          git fetch --depth 1 origin 
+          git checkout main
+          git submodule update --init --recursive --depth 1
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup