From 5c2acef0f2c03a1ca5d8cb50bc8adbc1664c8232 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Fri, 4 Sep 2026 19:07:30 -0700
Subject: [PATCH] Test under MacOS

---
 .github/workflows/test.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a633256..0ce288e 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -2,7 +2,13 @@ name: Run Small test
 on: [push, pull_request] # yamllint disable-line rule:truthy
 jobs:
   test:
-    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        # The scripts are POSIX shell and use no GNU-only utility options, so
+        # they must work on macOS as well as on Linux.
+        os: [ubuntu-latest, macos-latest]
+    runs-on: ${{ matrix.os }}
     defaults:
       run:
         shell: bash -l {0}