From 7713533153cb3941fb3efb63ad82ac679f6c8f5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eduardo=20Leegwater=20Sim=C3=B5es?= <eduardo@dusk.network>
Date: Tue, 4 Jun 2024 11:29:50 +0200
Subject: [PATCH] CI

---
 .github/workflows/dusk.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/dusk.yml b/.github/workflows/dusk.yml
index cdecab5f8f5ff..8f598bb090780 100644
--- a/.github/workflows/dusk.yml
+++ b/.github/workflows/dusk.yml
@@ -44,7 +44,7 @@ jobs:
 
       - name: Setup dependencies
         if: startsWith(matrix.os, 'macos')
-        run: brew install ninja llvm
+        run: brew install ninja llvm z3
 
       - name: Run build
         run: ./x.py dist --host ${{ matrix.target }}