Tests on OSX

Merge pull request #1286 from cnheitman/feature/upgrade-bitwuzla #272

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	32m 22s
build (3.8)	32m 15s
build (3.9)	34m 57s
build (3.10)	31m 49s
	2h 11m 23s