Dotty

Merge branch 'main' into ci/release-include-msi #483

Job	Run time
build-msi-package	0s
community_build_a	1s
community_build_b	1s
community_build_c	1s
MiMa	1s
test	1s
test_java8	0s
test_non_bootstrapped	1s
test_sbt	1s
test_scala2_library_tasty	0s
test_windows_fast	1s
test_windows_full	1s
build-sdk-package / build	8m 17s
test-msi-package	0s
build-chocolatey-package / build	22s
test-chocolatey-package	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	8m 48s

Provide feedback