update ci

.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/[email protected]
+
       - 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: