diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index 234462c..9ef6ad9 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -37,7 +37,7 @@ jobs: run: ~/.elan/bin/lake build PhD - name: Cache mathlib API docs - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: | .lake/build/doc/Init diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml index bae8a5a..62a3b5e 100644 --- a/.github/workflows/build-project.yml +++ b/.github/workflows/build-project.yml @@ -47,7 +47,7 @@ jobs: run: ~/.elan/bin/lake exe cache get || true - name: Cache build artifacts - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: | .lake/build