Run ScalaTest

Test out a different z3 setting #2921

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compile	11m 38s
ScalaTestMacOsBasic	6m 0s
ScalaTestWindowsBasic	7m 7s
ScalaTest (-n MATRIX[0])	6m 59s
ScalaTest (-n MATRIX[1])	8m 36s
ScalaTest (-n MATRIX[2])	5m 32s
ScalaTest (-n MATRIX[3])	9m 27s
ScalaTest (-n MATRIX[4])	4m 14s
ScalaTest (-n MATRIX[5])	14m 29s
ScalaTest (-n MATRIX[6])	7m 1s
ScalaTest (-n MATRIX[7])	5m 26s
ScalaTest (-l MATRIX)	31s
	1h 27m 0s