Dotty

Use github token instead of personal one #26279

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	1h 1m 44s
test_non_bootstrapped	0s
test_windows_fast	18m 53s
community_build_a	54m 45s
community_build_b	1h 18m 3s
MiMa	15m 19s
test_windows_full	0s
community_build_c	1h 23m 16s
test_java8	0s
test_sbt	23m 38s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 35m 38s