Back to pull request #20175

Improve ConstraintHandling of SkolemTypes #29847

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	46m 17s
test_windows_fast	25m 21s
MiMa	11m 15s
test_non_bootstrapped	0s
test_scala2_library_tasty	0s
community_build_a	48m 7s
community_build_b	56m 19s
community_build_c	1h 3m 1s
test_windows_full	0s
test_sbt	19m 38s
test_java8	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	4h 29m 58s