Bump actions/download-artifact from 6 to 7

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](actions/download-artifact@v6...v7)

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

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

.github/workflows/release.yml

@@ -139,12 +139,12 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - name: Download bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ matrix.prev_job.bundle }}
 
       - name: Download kani-verifier crate
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ matrix.prev_job.package }}
 
@@ -238,12 +238,12 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - name: Download bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ matrix.prev_job.bundle }}
 
       - name: Download kani-verifier crate
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ matrix.prev_job.package }}
 
@@ -302,22 +302,22 @@ jobs:
           echo "version=${{ env.TAG_VERSION }}" >> $GITHUB_OUTPUT
 
       - name: Download MacOS bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ needs.build_bundle_macos_x86_64.outputs.bundle }}
 
       - name: Download MacOS ARM bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ needs.build_bundle_macos_aarch64.outputs.bundle }}
 
       - name: Download Linux bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ needs.build_bundle_linux_x86_64.outputs.bundle }}
 
       - name: Download Linux Arm bundle
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
         with:
           name: ${{ needs.build_bundle_linux_aarch64.outputs.bundle }}