Dotty

Improve error message for mismatched tasty versions, allow configuration of header unpickler #26387

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
community_build_a	1h 6m 48s
community_build_b	1h 17m 28s
community_build_c	1h 16m 2s
MiMa	10m 55s
test	1h 13m 42s
test_sbt	17m 50s
test_non_bootstrapped	0s
test_windows_fast	17m 22s
test_windows_full	0s
test_java8	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 40m 7s