For some reason a single PR caused buildbot not to receive updates. I've temporarily closed that PR and it seems to have restored operation. I'll debug the PR that failed tomorrow morning.
jack. On Tue, Oct 7, 2014 at 7:09 PM, Gilles Leblanc <gilles.lebl...@gmail.com> wrote: > In the build queue there are 5 approved but there doesn't to be any one of > those which are actually building right now or that have received any > ping-back comments from bors in the GitHub pull requests. > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
