CI

Build C++ libs in separate step #730

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	4m 6s
ubuntu-latest:bitwuzla	4m 5s
ubuntu-latest:cvc5	13m 25s
ubuntu-latest:msat	4m 25s
ubuntu-latest:yices2	3m 16s
ubuntu-latest:z3	14m 56s
macos-latest:btor	4m 0s
macos-latest:bitwuzla	3m 55s
macos-latest:cvc5	7m 38s
macos-latest:msat	2m 15s
macos-latest:yices2	2m 56s
macos-latest:z3	8m 32s
	1h 13m 29s