Tests on Linux

Fix: not using timeout with bitwuzla backend #1014

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.8, ON, 5.0.1)	16m 1s
build (3.8, ON, 4.0.2)	15m 41s
build (3.8, OFF, 5.0.1)	15m 39s
build (3.8, OFF, 4.0.2)	15m 47s
build (3.9, ON, 5.0.1)	17m 1s
build (3.9, ON, 4.0.2)	17m 53s
build (3.9, OFF, 5.0.1)	16m 9s
build (3.9, OFF, 4.0.2)	16m 40s
build (3.10, ON, 5.0.1)	17m 22s
build (3.10, ON, 4.0.2)	16m 12s
build (3.10, OFF, 5.0.1)	16m 47s
build (3.10, OFF, 4.0.2)	16m 33s
	3h 17m 45s