Closed
Description
The last available nightly build was published on 12/7/2019,
http://repo1.maven.org/maven2/ch/epfl/lamp/dotty-compiler_0.17/
which I think coincides with the CI upgrade ... did the nightly build job disappear during the switchover?