CI

dusk-network · Jun 4, 2024 · 7713533 · 7713533
1 parent 64165f3
commit 7713533
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 }}