Bump actions/cache from 3 to 4 (#241)

AU-COBRA · Jan 22, 2024 · 8433cde · 8433cde
2 parents 9858610 + bfe7935
commit 8433cde
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -37,7 +37,7 @@ jobs:
       - run: sudo apt-get update
       - name: Restore opam cache
         id: opam-cache
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: "~/.opam"
           key: opam-${{env.OCAML_COMILER_VERSION}}-${{hashFiles('.github/coq-concert.opam.locked')}}

diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml
@@ -16,7 +16,7 @@ jobs:
       - run: sudo apt-get update
       - name: Restore opam cache
         id: opam-cache
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: "~/.opam"
           fail-on-cache-miss: true