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
My guess is that wget from github occasionally fails. Most likely one or two retries inside the setup-mold step would go a long way here. Other suggestions welcome too.
The text was updated successfully, but these errors were encountered:
wget claims to handle retries for faulty network effectively, but yet we're still seeing this occasionally. Without additional logging, it's hard to tell what's going on.
I saw this before too. wget should retry up to 20 times, but I'm not sure if it works with -O (redirecting output to the standard output). Let's use curl instead.
We end up seeing this occasionally.
My guess is that wget from github occasionally fails. Most likely one or two retries inside the
setup-mold
step would go a long way here. Other suggestions welcome too.The text was updated successfully, but these errors were encountered: