diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index f23832a9..005b61c2 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -75,13 +75,7 @@ jobs: uses: actions/cache@v4 with: path: | - .lake/build/doc/Init - .lake/build/doc/Lake - .lake/build/doc/Lean - .lake/build/doc/Std - .lake/build/doc/Mathlib - .lake/build/doc/declarations - !.lake/build/doc/declarations/declaration-data-FLT* + .lake/build/doc key: MathlibDoc-${{ hashFiles('lake-manifest.json') }} restore-keys: | MathlibDoc-