diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 5da0e43b8a5..f38cf58720c 100644 --- a/.github/workflows/release.yml +++ b/.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 }}