Upgrade CVC5 to 1.0.8, use `ftp.gnu.org` mirror for `gmp` download #242

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, abc)	3m 19s
build (ubuntu-22.04, boolector)	1m 55s
build (ubuntu-22.04, cvc4)	11m 4s
build (ubuntu-22.04, cvc5)	11m 2s
build (ubuntu-22.04, yices)	2m 20s
build (ubuntu-22.04, z3-4.8.8)	7m 46s
build (ubuntu-22.04, z3-4.8.14)	10m 19s
build (ubuntu-20.04, abc)	3m 54s
build (ubuntu-20.04, boolector)	2m 2s
build (ubuntu-20.04, cvc4)	12m 38s
build (ubuntu-20.04, cvc5)	12m 44s
build (ubuntu-20.04, yices)	2m 24s
build (ubuntu-20.04, z3-4.8.8)	8m 38s
build (ubuntu-20.04, z3-4.8.14)	12m 24s
build (macos-12, abc)	5m 10s
build (macos-12, boolector)	4m 21s
build (macos-12, cvc4)	17m 12s
build (macos-12, cvc5)	18m 23s
build (macos-12, yices)	6m 7s
build (macos-12, z3-4.8.8)	11m 36s
build (macos-12, z3-4.8.14)	13m 45s
build (windows-2019, abc)	7m 14s
build (windows-2019, boolector)	3m 57s
build (windows-2019, cvc4)	16m 58s
build (windows-2019, cvc5)	16m 49s
build (windows-2019, yices)	9m 12s
build (windows-2019, z3-4.8.8)	11m 26s
build (windows-2019, z3-4.8.14)	14m 44s
mergify	1s
package_solvers (ubuntu-22.04)	28s
package_solvers (ubuntu-20.04)	38s
package_solvers (macos-12)	23s
package_solvers (windows-2019)	30s
	4h 21m 23s