diff --git a/.github/workflows/basic_cli_build_release.yml b/.github/workflows/basic_cli_build_release.yml
index 63dca57076..b5c2906dae 100644
--- a/.github/workflows/basic_cli_build_release.yml
+++ b/.github/workflows/basic_cli_build_release.yml
@@ -256,6 +256,7 @@ jobs:
         run: |
           brew install expect
           brew install nmap  # includes ncat
+          brew install z3
 
       - name: prepare testing
         run: |