Broad Release Tests #95

Job	Run time
integration-tests (testProveRules, macos-latest, 21)	9m 10s
integration-tests (testProveRules, ubuntu-latest, 21)	9m 56s
unit-tests (macos-latest, 17)	44s
integration-tests (testProveRules, windows-latest, 21)	12m 19s
unit-tests (macos-latest, 21)	16m 20s
integration-tests (testRunAllFunProofs, macos-latest, 21)	50m 5s
unit-tests (ubuntu-latest, 17)	45s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)	1h 6m 34s
integration-tests (testRunAllFunProofs, windows-latest, 21)	1h 12m 4s
unit-tests (ubuntu-latest, 21)	15m 8s
integration-tests (testRunAllInfProofs, macos-latest, 21)	26m 48s
unit-tests (windows-latest, 17)	1m 7s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)	33m 29s
unit-tests (windows-latest, 21)	17m 37s
integration-tests (testRunAllInfProofs, windows-latest, 21)	38m 25s
	6h 10m 31s

Provide feedback