Back to pull request #360

Update checkout action in CI #688

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	3m 38s
ubuntu-latest:bitwuzla	3m 28s
ubuntu-latest:cvc5	14m 3s
ubuntu-latest:msat	2m 19s
ubuntu-latest:yices2	2m 37s
ubuntu-latest:z3	13m 18s
macos-latest:btor	3m 9s
macos-latest:bitwuzla	2m 50s
macos-latest:cvc5	8m 53s
macos-latest:msat	2m 23s
macos-latest:yices2	2m 45s
macos-latest:z3	11m 27s
	1h 10m 50s