On Friday, September 15, 2017 at 7:45:48 PM UTC+2, Maarten Derickx wrote: > > > > On Friday, 15 September 2017 18:55:57 UTC+2, Volker Braun wrote: >> >> >> I haven't used it in a while as buildbot, it possibly still has the old >> domain name configured. But it basically never succeded in building; 32-bit >> is just too small to build docs and 2+ patchbots in the background. >> >> I just restarted sagebd09_32s02 >> > > Hi Volker, > > Thanks for the reply, does you not saying anything about the following > machines > > dehaye > mod > moufang-1 > redhawk > > mean that you do not intend to use them, or does this mean that the status > of these bots depends on the answers of their owners? >
I'm pretty sure the moufang-1 and dehaye buildbots are not coming back. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.