From bfe7935a20068b02b0d0936fd7bafe7c8eb250ff Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Jan 2024 06:45:30 +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] --- .github/workflows/build.yml | 2 +- .github/workflows/refresh-cache.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 33a94a7b..e605aac6 100644 --- 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 index 4c3489c5..e4951bc4 100644 --- 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