CI

Added fix and test to term translation #703

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	1m 48s
ubuntu-latest:bitwuzla	2m 27s
ubuntu-latest:cvc5	2m 38s
ubuntu-latest:msat	1m 53s
ubuntu-latest:yices2	2m 23s
ubuntu-latest:z3	1m 48s
macos-latest:btor	2m 30s
macos-latest:bitwuzla	2m 39s
macos-latest:cvc5	2m 42s
macos-latest:msat	2m 15s
macos-latest:yices2	1m 44s
macos-latest:z3	1s
	24m 48s