update ci

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