diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index a2b2fc6..47477c9 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -29,7 +29,7 @@ jobs: run: ~/.elan/bin/lake -Kenv=dev build LeanCourse - name: Cache mathlib documentation - uses: actions/cache@v4 + uses: actions/cache@v5 with: path: | .lake/build/doc/Init