From 019cd996ebf1cdab4d392d96cd08025c094af1c5 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 15 Dec 2025 15:22:51 +0000 Subject: [PATCH] build(deps): bump actions/download-artifact from 5 to 7 Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 5 to 7. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v5...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] --- .github/workflows/deploy-verification.yml | 6 +++--- .github/workflows/kani-regression.yml | 2 +- .github/workflows/kani-verification.yml | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/deploy-verification.yml b/.github/workflows/deploy-verification.yml index 229e7e8b..0ca70ac7 100644 --- a/.github/workflows/deploy-verification.yml +++ b/.github/workflows/deploy-verification.yml @@ -174,7 +174,7 @@ jobs: uses: actions/checkout@v5 - name: Download verification artifacts - uses: actions/download-artifact@v5 + uses: actions/download-artifact@v7 with: name: deployment-verification-${{ github.run_number }} @@ -238,7 +238,7 @@ jobs: uses: actions/checkout@v5 - name: Download verification artifacts - uses: actions/download-artifact@v5 + uses: actions/download-artifact@v7 with: name: deployment-verification-${{ github.run_number }} @@ -331,7 +331,7 @@ jobs: uses: actions/checkout@v5 - name: Download verification artifacts - uses: actions/download-artifact@v5 + uses: actions/download-artifact@v7 with: name: deployment-verification-${{ github.run_number }} diff --git a/.github/workflows/kani-regression.yml b/.github/workflows/kani-regression.yml index 4b52b46b..b342aa45 100644 --- a/.github/workflows/kani-regression.yml +++ b/.github/workflows/kani-regression.yml @@ -231,7 +231,7 @@ jobs: uses: actions/checkout@v5 - name: Download all KANI results - uses: actions/download-artifact@v5 + uses: actions/download-artifact@v7 with: pattern: kani-results-* merge-multiple: true diff --git a/.github/workflows/kani-verification.yml b/.github/workflows/kani-verification.yml index d085d3a2..d2146c54 100644 --- a/.github/workflows/kani-verification.yml +++ b/.github/workflows/kani-verification.yml @@ -260,7 +260,7 @@ jobs: echo "✅ All verification jobs completed successfully" - name: Download All Reports - uses: actions/download-artifact@v5 + uses: actions/download-artifact@v7 with: pattern: kani-report-* merge-multiple: true