Dotty

Fix type mismatch in script #26607

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
community_build_a	1h 3m 9s
test	1h 20m 27s
MiMa	12m 0s
test_non_bootstrapped	0s
test_windows_fast	24m 32s
community_build_b	1h 19m 4s
community_build_c	1h 21m 27s
test_java8	0s
test_sbt	18m 20s
test_windows_full	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 58m 59s