CI

Install autoconf on macos CI for Yices2 #21

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	1m 53s
ubuntu-latest:cvc5	1m 51s
ubuntu-latest:msat	1m 58s
ubuntu-latest:yices2	1m 59s
ubuntu-latest:z3	1m 53s
macos-latest:btor	1m 49s
macos-latest:cvc5	1m 59s
macos-latest:msat	1m 37s
macos-latest:yices2	1m 48s
macos-latest:z3	1m 57s
	18m 44s