Broad Release Tests #76

Job	Run time
unit-tests (macos-latest, 17)	47s
unit-tests (macos-latest, 21)	16m 26s
integration-tests (testProveRules, macos-latest, 21)	11m 14s
unit-tests (ubuntu-latest, 17)	41s
integration-tests (testProveRules, ubuntu-latest, 21)	10m 6s
unit-tests (ubuntu-latest, 21)	15m 9s
integration-tests (testProveRules, windows-latest, 21)	11m 37s
unit-tests (windows-latest, 17)	1m 5s
integration-tests (testRunAllFunProofs, macos-latest, 21)	57m 22s
unit-tests (windows-latest, 21)	18m 17s
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)	1h 7m 34s
integration-tests (testRunAllFunProofs, windows-latest, 21)	1h 13m 43s
integration-tests (testRunAllInfProofs, macos-latest, 21)	26m 30s
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)	33m 20s
integration-tests (testRunAllInfProofs, windows-latest, 21)	38m 7s
	6h 21m 58s

Provide feedback