add GitHub Action to build and run tests on macOS

[gnawhleinad]

I was interested in learning more about OpenSTA [on my macOS] and thought it'd be helpful to add a GitHub Action to build and run tests on macOS. An example of the run is available from https://github.com/gnawhleinad/OpenSTA/actions/runs/10754768096.

From the Dockerfile.*s, it looks like there's a dependency to cudd from https://github.com/davidkebo/cudd. I'm using brew and opted for mht208/homebrew-formula:cudd.rb¹. If @parallaxsw is 🆒 and to keep things self-contained, a custom tap could be added to this repository.

Footnotes

1. There were two public formulas and I arbitrarily chose mht208's. The other is SRI-CSL/homebrew-sri-csl:cudd.rb. ↩

[CLAassistant]

All committers have signed the CLA.

[akashlevy]

Brewfile was added. GitHub Actions stuff is redundant with the Jenkins setup.