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 list with the bots as listed 
> on http://build.sagemath.org/#/workers . The changes for Debian, Ubuntu 
> and OS X mostly are updating the versions of these systems. For the other 
> changes there are a few things I want to ask you however before I make 
> these changes:
>
> Currently http://build.sagemath.org/#/workers seems to not list any 
> buildbot running on any version of OpenSuse or Solaris on SPARC is it ok if 
> their status is changed to expexted to work instead of fully supported? It 
> seems like this is already de facto the case, so it seems better that we 
> also write it in this way.
>
> Currently the buildbot workers are offline:
>
>     dehaye
>     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)
 

>
>     mod 
>     moufang-1 
>     oxford-arm 
>

this one is gone - the hardware is gone, to be specific.
 

>     redhawk 
>     sagebd09_32s02
>
> is this permanent or are they expected to come online again somewhere in 
> the future? If they will come online before the release of 8.1 what version 
> of which OS will they be running?
>
> Please try to keep this thread focussed on the subjects which platforms we 
> support. If the messages here bring up other questions please open a 
> separate thread in order to discuss them.
>
> Thanks,
> Maarten
>
>

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

Reply via email to