From e1c3ada1e091d2145a71c4cfb10846cf79740840 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 30 Jun 2026 08:23:48 +0000 Subject: [PATCH] Bump actions/cache from 5 to 6 Bumps [actions/cache](https://github.com/actions/cache) from 5 to 6. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md) - [Commits](https://github.com/actions/cache/compare/v5...v6) --- updated-dependencies: - dependency-name: actions/cache dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/cbmc.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/cbmc.yml b/.github/workflows/cbmc.yml index cc2ed49..f498b2f 100644 --- a/.github/workflows/cbmc.yml +++ b/.github/workflows/cbmc.yml @@ -28,7 +28,7 @@ jobs: fail-on-cache-miss: "true" use-restore-keys: "false" - name: Prepare ccache - uses: actions/cache@v5 + uses: actions/cache@v6 with: save-always: true path: .ccache