Dotty

Remove double tests of `tests/pos` #25989

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
community_build_a	52m 6s
community_build_b	1h 31m 24s
community_build_c	1h 5m 4s
MiMa	13m 55s
test	1h 13m 32s
test_non_bootstrapped	0s
test_windows_fast	11m 56s
test_sbt	17m 13s
test_windows_full	0s
test_java8	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 25m 10s