SimplifyNestedQuantifiers: follow binder by body type, fixes #1231 #2670

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile	13m 2s
ScalaTestWindowsBasic	6m 59s
ScalaTestMacOsBasic	5m 38s
ScalaTest (-n MATRIX[0])	9m 34s
ScalaTest (-n MATRIX[1])	8m 48s
ScalaTest (-n MATRIX[2])	6m 0s
ScalaTest (-n MATRIX[3])	8m 53s
ScalaTest (-n MATRIX[4])	4m 20s
ScalaTest (-n MATRIX[5])	10m 38s
ScalaTest (-n MATRIX[6])	5m 56s
ScalaTest (-n MATRIX[7])	8m 54s
ScalaTest (-l MATRIX)	41s
GenerateTestReport	18s
	1h 29m 41s