CI

Address syntax changes in test files #1145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-Z3-only	2m 9s
build	4m 24s
build-CVC5-only	2m 10s
build-release	1m 40s
litmus-test	2m 49s
opts-test	1m 38s
	14m 50s