Thanks ! Nathann
On 13 August 2015 at 16:07, Andrew Gainer-Dewar <[email protected]> wrote: > Whoops! I think everything is fixed now. Sorry about the mess. > > --Andrew > > > On Thursday, August 13, 2015 at 5:16:03 AM UTC-4, vdelecroix wrote: >> >> Seems to be agd, see >> >> http://wiki.sagemath.org/buildbot/owners >> >> And trac says Andrew Gainer-Dewar. >> >> On 13/08/15 09:34, Nathann Cohen wrote: >> > Hello everybody, >> > >> > Is the owner of 'Zorn' reading this mailing list? The machine reports >> > a build failure on a ticket, and I do not think that the errors are >> > related: >> > >> > http://trac.sagemath.org/ticket/19018 >> > >> > Here is the bottom of the shortlog >> > >> > ------------- >> > * package: Cython >> > log file: >> > /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/Cython.log >> > build directory: >> > >> > /mnt/pile/data/servers/sage/sage-patchbot/local/var/tmp/sage/build/Cython >> > >> > * package: gp2c >> > log file: >> > /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/gp2c.log >> > build directory: >> > /mnt/pile/data/servers/sage/sage-patchbot/local/var/tmp/sage/build/gp2c >> > >> > * documentation: dochtml >> > log file: >> > /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/../dochtml.log >> > --------------- >> > >> > Nathann >> > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/tQFsu-LWto0/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
