Nightly Dotty workflow of 2023-06-13 failed

[github-actions]

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

[ckipp01]

This is a result of #17229. I've spoken to @Dedelweiss and he'll revert the change and then work on a fix. @Dedelweiss when you send in a PR to revert that you can tie is to this issue as well to close it.

[mbovel]

Thanks @ckipp01! @Dedelweiss, please update us here as soon as this is done.

[Dedelweiss]

Sure, a PR is underway and will be sent soon, sorry for the delay.