From 1ba9d714f918d1af0cd95e32ce05d1a341353aed Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 15 Dec 2025 19:08:01 +0000 Subject: [PATCH] Bump actions/upload-artifact from 5 to 6 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 5 to 6. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v5...v6) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/pull-request-checks.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 922da2ae0..52f859a80 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -132,19 +132,19 @@ jobs: - name: Print ccache stats run: ccache -s - name: Upload the ebmc binary - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: ebmc-binary retention-days: 5 path: src/ebmc/ebmc - name: Upload the hw-cbmc binary - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: hw-cbmc-binary retention-days: 5 path: src/hw-cbmc/hw-cbmc - name: Upload the vlindex binary - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: vlindex-binary retention-days: 5