diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ffd5c36228..5b37b2adc7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -77,6 +77,7 @@ jobs:
             librtmp-dev
             libssl-dev
             libtool
+            libz3-dev
             llvm
             llvm-dev
             luarocks
@@ -105,6 +106,8 @@ jobs:
       - name: cargo test --release --workspace
         run: |
           export RUSTFLAGS="-D warnings"
+          # add homebrew library path for z3
+          export RUSTFLAGS="$RUSTFLAGS -Clink-arg=-L/opt/homebrew/lib -Clink-arg=-Wl,-rpath,/opt/homebrew/lib"
           export RUSTDOCFLAGS="-D warnings"
           cargo test --release --workspace
       - name: Test translator