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

---
 .github/workflows/blueprint.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index b7232b2..2331b33 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -22,15 +22,15 @@ jobs:
       - name: Install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.5.0
 
+      - name: Install Z3
+        uses: pavpanchekha/setup-z3@v0.3.0
+            
       - name: Get cache
         run: ~/.elan/bin/lake exe cache get || true
 
       - name: Build project
-         run: |
-            ~/.elan/bin/lake build Book
-            pip install smt-portfolio
-
-
+         run: ~/.elan/bin/lake build Book
+            
       - name: Cache mathlib docs
         uses: actions/cache@v3
         with: