what4-solvers

Bump libpoly submodule to v0.1.12 tag #253

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, abc)	3m 41s
build (ubuntu-22.04, bitwuzla)	2m 11s
build (ubuntu-22.04, boolector)	2m 42s
build (ubuntu-22.04, cvc4)	11m 3s
build (ubuntu-22.04, cvc5)	11m 30s
build (ubuntu-22.04, yices)	2m 35s
build (ubuntu-22.04, z3-4.8.8)	7m 52s
build (ubuntu-22.04, z3-4.8.14)	10m 30s
build (ubuntu-20.04, abc)	3m 51s
build (ubuntu-20.04, bitwuzla)	2m 28s
build (ubuntu-20.04, boolector)	2m 40s
build (ubuntu-20.04, cvc4)	11m 53s
build (ubuntu-20.04, cvc5)	13m 4s
build (ubuntu-20.04, yices)	2m 32s
build (ubuntu-20.04, z3-4.8.8)	8m 30s
build (ubuntu-20.04, z3-4.8.14)	11m 46s
build (macos-12, abc)	6m 42s
build (macos-12, bitwuzla)	5m 24s
build (macos-12, boolector)	6m 7s
build (macos-12, cvc4)	25m 21s
build (macos-12, cvc5)	26m 4s
build (macos-12, yices)	5m 32s
build (macos-12, z3-4.8.8)	11m 33s
build (macos-12, z3-4.8.14)	18m 57s
build (macos-14, abc)	3m 0s
build (macos-14, bitwuzla)	2m 27s
build (macos-14, boolector)	2m 48s
build (macos-14, cvc4)	6m 45s
build (macos-14, cvc5)	7m 8s
build (macos-14, yices)	3m 5s
build (macos-14, z3-4.8.8)	5m 1s
build (macos-14, z3-4.8.14)	5m 45s
build (windows-2019, abc)	7m 28s
build (windows-2019, bitwuzla)	4m 50s
build (windows-2019, boolector)	5m 2s
build (windows-2019, cvc4)	17m 37s
build (windows-2019, cvc5)	16m 45s
build (windows-2019, yices)	9m 17s
build (windows-2019, z3-4.8.8)	11m 32s
build (windows-2019, z3-4.8.14)	14m 49s
mergify	1s
package_solvers (ubuntu-22.04)	29s
package_solvers (ubuntu-20.04)	33s
package_solvers (macos-12)	34s
package_solvers (macos-14)	20s
package_solvers (windows-2019)	35s
	5h 40m 19s