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