solver-builds

Add Z3 4.12.6 #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, z3-4.8.5, x64)	6m 25s
build (ubuntu-22.04, z3-4.12.1, x64)	10m 35s
build (ubuntu-22.04, z3-4.12.6, x64)	11m 17s
build (ubuntu-20.04, z3-4.8.5, x64)	8m 14s
build (ubuntu-20.04, z3-4.12.1, x64)	12m 17s
build (ubuntu-20.04, z3-4.12.6, x64)	13m 31s
build (windows-2019, z3-4.8.5, x64)	10m 17s
build (windows-2019, z3-4.12.1, x64)	16m 26s
build (windows-2019, z3-4.12.6, x64)	17m 5s
build (windows-2022, z3-4.8.5, x64)	10m 25s
build (windows-2022, z3-4.12.1, x64)	16m 47s
build (windows-2022, z3-4.12.6, x64)	17m 7s
build (macos-11, arm64, z3-4.12.1)	17m 30s
build (macos-12, arm64, z3-4.12.1)	9m 37s
build (macos-13, arm64, z3-4.12.1)	8m 8s
build (macos-11, arm64, z3-4.12.6)	18m 2s
build (macos-12, arm64, z3-4.12.6)	18m 40s
build (macos-13, arm64, z3-4.12.6)	8m 15s
	3h 50m 38s