diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index 2ef4799412..239f26643d 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.github/workflows/coq-docker.yml
@@ -204,7 +204,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@v4
+      uses: actions/cache@v5
       with:
         path: image.tar
         key: ${{ runner.os }}-docker-${{ hashFiles('image.tar') }}
@@ -232,7 +232,7 @@ jobs:
       with:
         submodules: recursive
     - name: Restore cached Docker image ${{ needs.build.outputs.coq_image_name }}
-      uses: actions/cache@v4
+      uses: actions/cache@v5
       with:
         path: image.tar
         key: ${{ needs.build.outputs.coq_image_name }}