No JavaDoc is released for artifact ch.epfl.lamp:dotty-library_0.25:0.25.0-bin-20200511-5fb865b-NIGHTLY. Please try other versions.

Owner of the project? Troubleshoot following things:

• Retry this version. Sometimes it's just a matter of time to pick up new versions.
• Is the dotty-library_0.25-0.25.0-bin-20200511-5fb865b-NIGHTLY-javadoc.jar actually distributed to either maven or bintray?
• Does the dotty-library_0.25-0.25.0-bin-20200511-5fb865b-NIGHTLY-javadoc.jar file contains an index.html in the extracted root folder? (you can rename .jar to .zip to extract the file)

report to us if you tried everything but still doesn't work.