ci: on macOS, point rust at homebrew library directory for z3

Author: fw-immunant

.github/workflows/ci.yml

@@ -106,6 +106,8 @@ jobs:
       - name: cargo test --release --workspace
         run: |
           export RUSTFLAGS="-D warnings"
+          # add homebrew library path for z3
+          export RUSTFLAGS="$RUSTFLAGS -Clink-args=-Wl,-rpath,$(brew --prefix z3)/lib"
           export RUSTDOCFLAGS="-D warnings"
           cargo test --release --workspace
       - name: Test translator