From 463c1e0d0b8d8a3f6f8a3b90033d999140e3d540 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 14 Dec 2023 20:11:20 +0000
Subject: [PATCH 1/2] Bump actions/download-artifact from 3 to 4

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/release.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index e753320c158f..2ff8ace6a711 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -115,12 +115,12 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - name: Download bundle
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ matrix.prev_job.bundle }}
 
       - name: Download kani-verifier crate
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ matrix.prev_job.package }}
 
@@ -165,12 +165,12 @@ jobs:
           path: ${{ env.KANI_SRC }}
 
       - name: Download bundle
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ env.BUNDLE }}
 
       - name: Download kani-verifier crate
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ env.PKG }}
 
@@ -224,12 +224,12 @@ jobs:
           echo "version=${{ env.TAG_VERSION }}" >> $GITHUB_OUTPUT
 
       - name: Download MacOS bundle
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ needs.build_bundle_macos.outputs.bundle }}
 
       - name: Download Linux bundle
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         with:
           name: ${{ needs.build_bundle_linux.outputs.bundle }}
 

From 86879e8cc5f8d43b1184806b53fea552fbb7263a Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 14 Dec 2023 20:50:33 +0000
Subject: [PATCH 2/2] Sync upload-artifact version

download-artifact requires this matching major version.
---
 .github/actions/build-bundle/action.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/actions/build-bundle/action.yml b/.github/actions/build-bundle/action.yml
index 8ecefd545e22..5a06efb4105c 100644
--- a/.github/actions/build-bundle/action.yml
+++ b/.github/actions/build-bundle/action.yml
@@ -65,7 +65,7 @@ runs:
         echo "PKG=${{ inputs.os }}-kani-verifier.crate" >> $GITHUB_ENV
 
     - name: Upload bundle
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: ${{ env.BUNDLE }}
         path: ${{ env.BUNDLE }}
@@ -74,7 +74,7 @@ runs:
         retention-days: 3
 
     - name: Upload kani-verifier pkg
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: ${{ env.PKG }}
         path: ${{ env.PKG }}