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