info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: Tree is back open
32 views
Skip to first unread message
Simon Sapin
Nov 16, 2019, 4:39:24 AM11/16/19
to dev-...@lists.mozilla.org
On 16/11/2019 05:25, Josh Bowman-Matthews wrote:
> I have closed the tree because mac3 is not in a usable state
> (https://github.com/servo/servo/issues/24755) and my attempts to follow
> the instructions in https://github.com/servo/taskcluster-config/ to
> disable it have not succeeded. The tree will remain closed until mac3
> can either be removed from the pool of workers or repaired.
I’ve (hopefully) fixed this and reopened the tree:
https://github.com/servo/servo/issues/24755#issuecomment-554619776
--
Simon Sapin
> I have closed the tree because mac3 is not in a usable state
> (https://github.com/servo/servo/issues/24755) and my attempts to follow
> the instructions in https://github.com/servo/taskcluster-config/ to
> disable it have not succeeded. The tree will remain closed until mac3
> can either be removed from the pool of workers or repaired.
I’ve (hopefully) fixed this and reopened the tree:
https://github.com/servo/servo/issues/24755#issuecomment-554619776
--
Simon Sapin
0 new messages