solver-builds

Fix warnings about obsolete action versions #14

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 31s
build (ubuntu-22.04, z3-4.12.1, x64)	11m 8s
build (ubuntu-22.04, z3-4.12.6, x64)	11m 18s
build (ubuntu-20.04, z3-4.8.5, x64)	7m 9s
build (ubuntu-20.04, z3-4.12.1, x64)	11m 44s
build (ubuntu-20.04, z3-4.12.6, x64)	12m 29s
build (macos-11, z3-4.8.5, x64)	48s
build (macos-11, z3-4.12.1, x64)	24m 36s
build (macos-11, z3-4.12.6, x64)	17m 19s
build (macos-12, z3-4.8.5, x64)	46s
build (macos-12, z3-4.12.1, x64)	17m 48s
build (macos-12, z3-4.12.6, x64)	17m 29s
build (macos-13, z3-4.8.5, x64)	42s
build (macos-13, z3-4.12.1, x64)	10m 3s
build (macos-13, z3-4.12.6, x64)	9m 41s
build (windows-2019, z3-4.8.5, x64)	10m 13s
build (windows-2019, z3-4.12.1, x64)	17m 8s
build (windows-2019, z3-4.12.6, x64)	16m 53s
build (windows-2022, z3-4.8.5, x64)	10m 25s
build (windows-2022, z3-4.12.1, x64)	16m 54s
build (windows-2022, z3-4.12.6, x64)	17m 29s
build (macos-11, arm64, z3-4.12.1)	21m 37s
build (macos-12, arm64, z3-4.12.1)	7m 26s
build (macos-13, arm64, z3-4.12.1)	7m 41s
build (macos-11, arm64, z3-4.12.6)	17m 28s
build (macos-12, arm64, z3-4.12.6)	9m 58s
build (macos-13, arm64, z3-4.12.6)	9m 11s
	5h 21m 54s