Work around https://github.com/lampepfl/dotty/issues/19237 #1053

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8)	3m 19s
build (11)	3m 11s
build (17)	3m 26s
build (21)	3m 16s
	13m 12s