From a8a4a4f1735f9db10c8fba08a1c15714086b8698 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Thu, 26 Oct 2023 15:59:36 +0700
Subject: [PATCH] ci: Run tests against homebrew Z3 on macOS.

This is in addition to running them against it on Linux.
---
 .github/workflows/rust.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index be0dfb7e..c0b1b7f8 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -20,11 +20,18 @@ jobs:
       run: cargo fmt -- --check
 
   build:
-    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        os: [macos-latest, ubuntu-latest]
+    runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v4
-    - name: Install Z3
+    - name: Install Z3 (Ubuntu)
+      if: matrix.os == 'ubuntu-latest'
       run: sudo apt-get install libz3-dev
+    - name: Install Z3 (macOS)
+      if: matrix.os == 'macos-latest'
+      run: brew install z3
     - name: Run tests
       run: cargo test --workspace
       # XXX: Ubuntu's Z3 package seems to be missing some symbols, like