No JavaDoc is released for artifact ch.epfl.lamp:dotty-doc_0.25:0.25.0-bin-20200508-f5b1d79-NIGHTLY. Please try other versions.

Owner of the project? Troubleshoot following things: report to us if you tried everything but still doesn't work.