diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index baa7a5e..644890d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -36,7 +36,7 @@ jobs: - run: sudo apt-get update - name: Restore opam cache id: opam-cache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: "~/.opam" key: opam-${{env.OCAML_COMILER_VERSION}}-${{hashFiles('.github/coq-ovn.opam.locked')}} diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml index f4d1d53..6026376 100644 --- a/.github/workflows/refresh-cache.yml +++ b/.github/workflows/refresh-cache.yml @@ -21,7 +21,7 @@ jobs: - run: sudo apt-get update - name: Restore opam cache id: opam-cache - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: "~/.opam" fail-on-cache-miss: true