Build and run tests (macOS)

Merge pull request #4377 from jix/smtbmc-incremental-improvements #3422

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-macos (macos-13, Ventura, c++11)	23m 16s
test-macos (macos-13, Ventura, c++17)	9m 53s
	33m 9s