diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
new file mode 100644
index 00000000..9a5c77fe
--- /dev/null
+++ b/.github/workflows/tests.yaml
@@ -0,0 +1,23 @@
+name: tests
+on: [push]
+
+jobs:
+  macos:
+    runs-on: [macos-14]
+    timeout-minutes: 5
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+      - run: brew bundle
+      - run: |
+          cmake -S . -B build
+
+          cd build
+          make
+          sudo make install
+      - run: |
+          cd test
+          ./regression || {
+            [ -f results/diffs ] && cat results/diffs
+          }
diff --git a/.gitignore b/.gitignore
index 2013c841..6798b13d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,3 +30,5 @@ doc/._Sta.docx
 test/results
 # ngspice turd
 test/b3v3_1check.log
+
+Brewfile.lock.json
diff --git a/Brewfile b/Brewfile
new file mode 100644
index 00000000..d7debf5e
--- /dev/null
+++ b/Brewfile
@@ -0,0 +1,9 @@
+brew "bison"
+brew "cmake"
+brew "eigen"
+brew "flex"
+brew "swig"
+brew "tcl-tk"
+
+tap "mht208/formal"
+brew "mht208/formal/cudd"