CI-Tests

Improvements in BlockMay/WillThrow, BlockMay/WillReturn, BlockTerminates. #341

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test_souffle23	50m 4s
test_souffle24	51m 6s
Mypy	18s
	1h 41m 28s