Add some testing goodies

.github/workflows/tests.yaml

@@ -0,0 +1,21 @@
+name: tests
+on: [push]
+
+jobs:
+  tests:
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [centos7, ubuntu_18.04]
+
+    runs-on: [ubuntu-24.04]
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+      - run: |
+          cp Dockerfile.${{ matrix.os }} Dockerfile
+          docker build --tag sta-${{ matrix.os }} .
+      - run: |
+          docker run --entrypoint "/OpenSTA/test/regression && cat /OpenSTA/test/results/diffs" --tty --rm sta-${{ matrix.os }}

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"