Build Python Package

Merge pull request #1289 from cnheitman/fix/fix-bitwuzla-translation #243

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux	24m 37s
build-macos (3.8)	27m 55s
build-macos (3.9)	26m 22s
build-macos (3.10)	27m 23s
	1h 46m 17s