You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I guess the problem is with the command line test which we can see at line 1266 of github action logs, where we have hardcoded versions for source-links and we compare them to the calculated ones from sbt that have changed. I'll look into that one tomorrow morning.
See https://github.com/lampepfl/dotty/actions/runs/995476390
The text was updated successfully, but these errors were encountered: