macOS

BDD/Remove Domain `bdd_satmin` and `bdd_satmax` #271

Job	Run time
Skip job?	6s
Build + Test (Mac OS, gcc@7)	1m 0s
Build + Test (Mac OS, gcc@10)	10m 41s
Build + Test (Mac OS, ${{ matrix.cc.cc }}@${{ matrix.cc.v \|\| matrix.cc.xcode }})	0s
Build + Test (Mac OS, gcc@12)	2m 9s
Build + Test (Mac OS, clang@13.1)	10m 41s
Build + Test (Mac OS, clang@13.4)	10m 44s
Build + Test (Mac OS, clang@14)	8m 28s
Build + Test (Mac OS, clang@14.2)	9m 30s
	53m 19s

Provide feedback