diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index 2331b33..bd0db1d 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -29,8 +29,8 @@ jobs: run: ~/.elan/bin/lake exe cache get || true - name: Build project - run: ~/.elan/bin/lake build Book - + run: ~/.elan/bin/lake build Book + - name: Cache mathlib docs uses: actions/cache@v3 with: