update ci

loganrjmurphy · May 28, 2024 · 7093ce6 · 7093ce6
1 parent dd0c9c2
commit 7093ce6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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: