From 8ecd6fa51211e319b343ff19d487bda41ef76044 Mon Sep 17 00:00:00 2001
From: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Date: Mon, 30 Dec 2024 20:04:40 +0100
Subject: [PATCH] install z3

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
---
 .github/workflows/basic_cli_build_release.yml | 1 +
 1 file changed, 1 insertion(+)

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: |