Dotty

Use github token instead of personal one (#18797) #26280

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	1h 19m 44s
test_non_bootstrapped	43m 24s
test_windows_fast	0s
community_build_a	55m 34s
MiMa	15m 11s
test_windows_full	45m 11s
community_build_b	1h 38m 23s
community_build_c	1h 6m 49s
test_sbt	22m 50s
test_java8	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	7h 7m 6s