install z3

Signed-off-by: Anton-4 <[email protected]>
roc-lang · Dec 30, 2024 · 8ecd6fa · 8ecd6fa
1 parent fe8f7ca
commit 8ecd6fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: |