Build Python Package

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux	28m 15s
build-macos (3.8)	29m 17s
build-macos (3.9)	28m 29s
build-macos (3.10)	29m 30s
	1h 55m 31s