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] <support@github.com>
---
 .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 }}