-
Notifications
You must be signed in to change notification settings - Fork 10.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Reboot the Windows bot #18071
Comments
I restarted the bot this morning (around 8:30 UTC+0). |
Thanks! |
@calixteman Sadly it looks like the Windows bot is down again; see the final comments at #17923. It's strange because the first run failed pretty quickly with what looks like a Git clone timeout and after that a run took over an hour and the logs don't load anymore... |
I just restart the bot.
|
It looks like some process got interrupted and left files behind with invalid permissions. In any case, the cleanup seems to have worked now that the Windows bot is functional again. Thank you! |
It looks like the Windows bot has crashed. We've seen timeouts of 60 minutes in e.g. #18052 and shortly after the bot didn't respond to commands anymore.
@calixteman Could you perhaps check what happened and reboot it, since not having the bot available is currently blocking some PRs?
The text was updated successfully, but these errors were encountered: