Build and run tests (macOS)

Merge pull request #4035 from jix/smtbmc-incremental #2466

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-macos (macos-11, Big Sur, c++11)	33m 55s
test-macos (macos-11, Big Sur, c++17)	19m 9s
	53m 4s