From bc6253fa91ee9349150cfb46dfab97c2eebc6682 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 13 May 2024 04:37:47 +0000 Subject: [PATCH] Bump actions/cache from 3 to 4 Bumps [actions/cache](https://github.com/actions/cache) from 3 to 4. - [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/v3...v4) --- updated-dependencies: - dependency-name: actions/cache dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/coq-docker.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index b86ac129e9..5e60bbab31 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -138,7 +138,7 @@ jobs: id: set-output-step run: echo "coq_image_name=${{ runner.os }}-docker-${{ hashFiles('image.tar') }}" >> $GITHUB_OUTPUT - name: Cache Docker image - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: image.tar key: ${{ runner.os }}-docker-${{ hashFiles('image.tar') }} @@ -170,7 +170,7 @@ jobs: with: submodules: recursive - name: Restore cached Docker image ${{ needs.build.outputs.coq_image_name }} - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: image.tar key: ${{ needs.build.outputs.coq_image_name }}