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
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
2 matches
Mail list logo
