CI

Delete ci-scripts/download-cvc5.sh (#334) #563

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	7m 36s
ubuntu-latest:cvc5	19m 33s
ubuntu-latest:msat	3m 41s
ubuntu-latest:yices2	2m 40s
ubuntu-latest:z3	15m 22s
macos-latest:btor	10m 20s
macos-latest:cvc5	17m 26s
macos-latest:msat	7m 46s
macos-latest:yices2	7m 14s
macos-latest:z3	21m 9s
	1h 52m 47s