CI

Update litmus tests to be parsed on the latest MLIR #1140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-release	45s
build	38s
build-Z3-only	1m 2s
build-CVC5-only	38s
litmus-test	0s
opts-test	0s
	3m 3s