Nightly Dotty workflow of 2023-06-01 failed

[github-actions]

See https://github.com/lampepfl/dotty/actions/runs/5139912892

[jchyb]

Error:

Error:  Test dotty.tools.scaladoc.Scaladoc2LegacyExternalLocationProviderIntegrationTest.runTest failed: java.lang.AssertionError: External location provider integration test failed.
Error:  Missing links:
Error:  
Error:  https://www.scala-lang.org/api/current/scala/util/matching/Regex$$Match.html
Error:  https://www.scala-lang.org/api/current/scala/Predef$.html#String
Error:  https://www.scala-lang.org/api/current/scala/collection/immutable/Map.html
Error:  https://www.scala-lang.org/api/current/scala/collection/IterableOnceOps.html#addString(b:StringBuilder,start:String,sep:String,end:String):b.type
Error:  https://www.scala-lang.org/api/current/scala/collection/IterableOnceOps.html#mkString(start:String,sep:String,end:String):String

The links seem to work. Maybe some temporary unavailability server-side? I'll try rerunning

[jchyb]

Oops, looks like it's been taken care of while I was away #17744