TC: Iterate typechecking function arguments until no quantifiers can … #834

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.08.1, ubuntu-latest)	6m 12s
build-docker	7m 29s
build (5.0.0, ubuntu-latest)	6m 36s
build (5.0.0, macOS-latest)	7m 14s
build (macos-12, 4.08.1)	13m 19s
	40m 50s