From 04ec3bd20d78a49b5e699517dc17d31978516639 Mon Sep 17 00:00:00 2001 From: thanhnguyen-aws Date: Tue, 26 Nov 2024 14:44:46 -0800 Subject: [PATCH 1/5] replace checkoutv3 with clone --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 36aee463061a..1991dbb87ed2 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -119,7 +119,7 @@ jobs: rm get-pip.py - name: Checkout Kani - uses: actions/checkout@v3 + run: git clone https://github.com/model-checking/kani/ - name: Setup Kani Dependencies uses: ./.github/actions/setup From 61625312b6e1a48043eaf087adcfd47d3e7e26a3 Mon Sep 17 00:00:00 2001 From: thanhnguyen-aws Date: Tue, 26 Nov 2024 16:51:29 -0800 Subject: [PATCH 2/5] 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 From 18a11900a0bbe8839921044dfeb3dac79689a285 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 26 Nov 2024 17:49:33 -0800 Subject: [PATCH 3/5] Clone to current directory --- .github/workflows/release.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index c0834017373e..279f3681cb0c 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -120,10 +120,7 @@ jobs: - name: Checkout Kani run: | - git init . - git remote add origin model-checking/kani - git fetch --depth 1 origin - git checkout main + git clone --depth 1 model-checking/kani . git submodule update --init --recursive --depth 1 - name: Setup Kani Dependencies From 11d3a2c398e601bc8f5e0fed5b7cc52072a14ca7 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 26 Nov 2024 17:53:29 -0800 Subject: [PATCH 4/5] Use full repository URL --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 279f3681cb0c..71ede647c5b7 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -120,7 +120,7 @@ jobs: - name: Checkout Kani run: | - git clone --depth 1 model-checking/kani . + git clone --depth 1 https://github.com/model-checking/kani . git submodule update --init --recursive --depth 1 - name: Setup Kani Dependencies From 64b7a5eb53cb276a20513bf0a95d9ec073b1abcf Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 26 Nov 2024 18:04:53 -0800 Subject: [PATCH 5/5] Mark directory as safe --- .github/workflows/release.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 71ede647c5b7..ae35265b66db 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -120,6 +120,7 @@ jobs: - name: Checkout Kani run: | + git config --global --add safe.directory /__w/kani/kani git clone --depth 1 https://github.com/model-checking/kani . git submodule update --init --recursive --depth 1