Revert "sbt 1.5.5 (was 1.5.3)"

[nicolasstucki]

This reverts commit de79e58.

[nicolasstucki]

This change seems to have started failures in stdlib-sourcelinks-test for all PRs.

See https://github.com/lampepfl/dotty/pull/13179/checks?check_run_id=3180394280

[BarkingBad]

As I said, it depends on some external causes, for example running sbt scaladoc/sourceLinksIntegrationTest:test from the newest master (pulled a few minutes ago) locally succeeds with no error, whereas on GitHub it failed. Can you try running this yourself? Maybe you'd encounter the same "problem"

[griggt]

running sbt scaladoc/sourceLinksIntegrationTest:test from the newest master (pulled a few minutes ago) locally succeeds with no error, whereas on GitHub it failed.

The members that are tested are selected at random, and the random number generator on CI seems to produce a different sequence for the same seed than is produced locally. For me locally, IntegralProxy is selected from ScalaNumberProxy.scala, whereas on CI, ScalaWholeNumberProxy is selected.

Neither of these seems to be correctly linked in the current API docs.
IntegralProxy links to L60 when I think it should link to L55.
ScalaWholeNumberProxy links to L57 instead of L52.

Also, there is a bug in the test which is causing it to be more lenient than it should be:

https://github.com/lampepfl/dotty/blob/d7d70c06ecdc0d5c5a40fab75beaf265992a865b/scaladoc/test-source-links/dotty/tools/scaladoc/source-links/RemoteLinksTest.scala#L46-L48

Here, expectedLine is of type String