what4-solvers

Merge pull request #54 from GaloisInc/aarch64-patches #265

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, abc)	3m 31s
build (ubuntu-22.04, bitwuzla)	2m 21s
build (ubuntu-22.04, boolector)	2m 46s
build (ubuntu-22.04, cvc4)	11m 41s
build (ubuntu-22.04, cvc5)	11m 28s
build (ubuntu-22.04, yices)	2m 20s
build (ubuntu-22.04, z3-4.8.8)	8m 9s
build (ubuntu-22.04, z3-4.8.14)	10m 37s
build (ubuntu-20.04, abc)	3m 50s
build (ubuntu-20.04, bitwuzla)	2m 25s
build (ubuntu-20.04, boolector)	3m 0s
build (ubuntu-20.04, cvc4)	12m 48s
build (ubuntu-20.04, cvc5)	13m 5s
build (ubuntu-20.04, yices)	2m 37s
build (ubuntu-20.04, z3-4.8.8)	8m 55s
build (ubuntu-20.04, z3-4.8.14)	12m 5s
build (macos-13, abc)	6m 4s
build (macos-13, bitwuzla)	4m 9s
build (macos-13, boolector)	3m 48s
build (macos-13, cvc4)	20m 44s
build (macos-13, cvc5)	25m 52s
build (macos-13, yices)	5m 6s
build (macos-13, z3-4.8.8)	16m 34s
build (macos-13, z3-4.8.14)	22m 16s
build (macos-14, abc)	2m 54s
build (macos-14, bitwuzla)	2m 32s
build (macos-14, boolector)	2m 41s
build (macos-14, cvc4)	8m 9s
build (macos-14, cvc5)	8m 29s
build (macos-14, yices)	3m 25s
build (macos-14, z3-4.8.8)	4m 59s
build (macos-14, z3-4.8.14)	6m 8s
build (windows-2019, abc)	7m 46s
build (windows-2019, bitwuzla)	4m 29s
build (windows-2019, boolector)	5m 7s
build (windows-2019, cvc4)	17m 27s
build (windows-2019, cvc5)	17m 43s
build (windows-2019, yices)	9m 32s
build (windows-2019, z3-4.8.8)	12m 11s
build (windows-2019, z3-4.8.14)	16m 1s
package_solvers (ubuntu-22.04)	16s
mergify	1s
package_solvers (ubuntu-20.04)	26s
package_solvers (macos-13)	24s
package_solvers (macos-14)	16s
package_solvers (windows-2019)	19s
	5h 47m 26s