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 suppose the ideal behavior would be to fall back to previous commits until it finds one that's available? printing warnings as it does so, in case the user really did want the PR they just merged moments ago?
The text was updated successfully, but these errors were encountered:
I suppose the ideal behavior would be to fall back to previous commits until it finds one that's available?
I'm wary of such a "transparently fix it for me" solutions, but not (yet?) completely against it.
In some sense the current behaviour is correct: 2.13.head is 2.13.3-bin-914a270 and it's not available. The behaviour you describe is (2.13.x).find(_.available) (just to pseudo-code it).
SethTisue
changed the title
running "head' version (e.g. scala -2.13.head) may fail if PR merged but not published
improve error message when running "head' version (e.g. scala -2.13.head) if PR merged but not published
Jul 2, 2020
so e.g. just now:
that's because https://travis-ci.org/github/scala/scala/jobs/678724885 hasn't finished yet
I suppose the ideal behavior would be to fall back to previous commits until it finds one that's available? printing warnings as it does so, in case the user really did want the PR they just merged moments ago?
The text was updated successfully, but these errors were encountered: