Build and Report Generation

Adds IS predicate as special operator #3993

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (11)	9m 21s
randomized-test (11)	8m 2s
randomized-test (17)	7m 37s
test (17)	9m 26s
	34m 26s