update ci

loganrjmurphy · May 28, 2024 · 9f2af81 · 9f2af81
1 parent 4ca4bea
commit 9f2af81
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -26,7 +26,10 @@ jobs:
         run: ~/.elan/bin/lake exe cache get || true
 
       - name: Build project
-        run: ~/.elan/bin/lake build Book
+         run: |
+            ~/.elan/bin/lake build Book
+            pip install smt-portfolio
+
 
       - name: Cache mathlib docs
         uses: actions/cache@v3
@@ -60,7 +63,6 @@ jobs:
             pip install --upgrade pip requests wheel
             pip install pygraphviz --global-option=build_ext --global-option="-L/usr/lib/graphviz/" --global-option="-R/usr/lib/graphviz/"
             pip install leanblueprint
-            pip install smt-portfolio
             leanblueprint pdf
             mkdir docs
             cp blueprint/print/print.pdf docs/blueprint.pdf