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
On Fri, Sep 15, 2017 at 10:45 AM Maarten Derickx <
m.derickx.stud...@gmail.com> 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
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.
>
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
On Friday, September 15, 2017 at 4:29:44 PM UTC+1, Maarten Derickx wrote:
>
> Hi Fellow sage devs,
>
> Since the page https://wiki.sagemath.org/SupportedPlatforms is horribly
> outdated I want to at least update the section on fully supported
> platforms. What I plan to do is to update the
