Upgrade Bitwuzla to v0.1.0 #896

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7, ON, 5.0-rc2)	4m 41s
build (3.7, ON, 4.0.2)	4m 41s
build (3.7, OFF, 5.0-rc2)	4m 40s
build (3.7, OFF, 4.0.2)	4m 36s
build (3.8, ON, 5.0-rc2)	1s
build (3.8, ON, 4.0.2)	4m 23s
build (3.8, OFF, 5.0-rc2)	4m 41s
build (3.8, OFF, 4.0.2)	4m 41s
build (3.9, ON, 5.0-rc2)	1s
build (3.9, ON, 4.0.2)	1s
build (3.9, OFF, 5.0-rc2)	1s
build (3.9, OFF, 4.0.2)	1s
build (3.10, ON, 5.0-rc2)	4m 41s
build (3.10, ON, 4.0.2)	4m 35s
build (3.10, OFF, 5.0-rc2)	4m 44s
build (3.10, OFF, 4.0.2)	4m 42s
	51m 10s