From 7093ce601eedafea4a5fb7bc24190cc7e3b4b7a0 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Tue, 28 May 2024 10:26:16 -0500 Subject: [PATCH] update ci --- .github/workflows/blueprint.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: