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

---
 .github/workflows/blueprint.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index bd0db1d..6f9ccb5 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -23,7 +23,13 @@ jobs:
         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
+        run: |
+          git clone https://github.com/Z3Prover/z3
+          cd z3
+          python3 scripts/mk_make.py
+          cd build
+          make -j$(nproc)
+          sudo make install
             
       - name: Get cache
         run: ~/.elan/bin/lake exe cache get || true