From bce3878a1e1b6f330a05372c97e77d5983d21a6d Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 22 Dec 2025 08:09:32 +0000
Subject: [PATCH] build(deps): bump actions/cache from 4 to 5

Bumps [actions/cache](https://github.com/actions/cache) from 4 to 5.
- [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/v4...v5)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/deploy-docs.yml |  2 +-
 .github/workflows/prover-test.yml | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 93921e93af..cd9d9e7e67 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -40,7 +40,7 @@ jobs:
           echo "STORE_PATH=$(pnpm store path --silent)" >> "$GITHUB_ENV"
 
       - name: Setup pnpm cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: ${{ env.STORE_PATH }}
           key: ${{ runner.os }}-pnpm-store-${{ hashFiles('**/pnpm-lock.yaml') }}
diff --git a/.github/workflows/prover-test.yml b/.github/workflows/prover-test.yml
index e674ad9d76..27f7640200 100644
--- a/.github/workflows/prover-test.yml
+++ b/.github/workflows/prover-test.yml
@@ -38,7 +38,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Cache Go modules
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -84,7 +84,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Restore Go cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -134,7 +134,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Restore Go cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -169,7 +169,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Restore Go cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -202,7 +202,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Restore Go cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -234,7 +234,7 @@ jobs:
           go-version-file: "./prover/server/go.mod"
 
       - name: Restore Go cache
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             ~/.cache/go-build
@@ -280,7 +280,7 @@ jobs:
           echo "version=$(~/.elan/bin/lake --version)" >> "$GITHUB_OUTPUT"
 
       - name: Cache Lean dependencies
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: prover/server/formal-verification/lake-packages
           key: lean-${{ steps.lake-version.outputs.version }}-${{ hashFiles('prover/server/formal-verification/lakefile.lean') }}