From 44daf8761d1851deb0b13d08131a61a1889cd534 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 15 Dec 2025 21:26:22 +0000 Subject: [PATCH] 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] --- .github/workflows/blueprint.yml | 2 +- .github/workflows/build-project.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index 05cf5d3..47d9ea4 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -37,7 +37,7 @@ jobs: run: ~/.elan/bin/lake build Existence - name: Cache API docs - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: | .lake/build/doc/Aesop diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml index 450a772..440159a 100644 --- a/.github/workflows/build-project.yml +++ b/.github/workflows/build-project.yml @@ -52,7 +52,7 @@ jobs: ~/.elan/bin/lake exe mk_all --check || echo "ERROR: please ensure that Existence.lean is up to date, for instance by running lake exe mk_all" - name: Cache build artifacts - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: .lake/build key: LakeBuild-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}