Back to pull request #1577

Fixes small evaluation bugs related to casts, types, etc #4332

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (11)	5m 23s
randomized-test (11)	1m 51s
test (17)	5m 22s
randomized-test (17)	2m 37s
	15m 13s