Back to pull request #1289

Fix Bitwuzla VARIABLE_NODE translation #957

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	29m 21s
build (3.8)	30m 29s
build (3.9)	30m 46s
build (3.10)	29m 49s
	2h 0m 25s