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? -- 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.
