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 <[email protected]> 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 > [email protected] > https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
