On Friday, September 15, 2017 at 5:46:49 PM UTC+2, Dima Pasechnik wrote: > > dima-arando >> > > this one works and warms up my office > it's just not me who actually runs it, but, IIRC, Volker :-) > (it's also a patchbot, also called arando) >
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 -- 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.
