From 9f2af818612a292add484065cc1bea6445fe84e3 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Tue, 28 May 2024 10:19:22 -0500
Subject: [PATCH] update ci

---
 .github/workflows/blueprint.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index f009fae..b7232b2 100644
--- 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