Closed ltratt closed 3 years ago
Especially if the build server is performing other tasks at the same time, 10 minutes is starting to cut things a bit fine, and may explain the occasional bors timeouts we've seen recently.
bors try
Build succeeded:
bors r+
Especially if the build server is performing other tasks at the same time, 10 minutes is starting to cut things a bit fine, and may explain the occasional bors timeouts we've seen recently.