Patchbot reporting failed builds: Zorn
43 views
Skip to first unread message
Nathann Cohen
Aug 13, 2015, 3:34:55 AM8/13/15
to Sage devel
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
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
Vincent Delecroix
Aug 13, 2015, 5:16:03 AM8/13/15
to sage-...@googlegroups.com
Andrew Gainer-Dewar
Aug 13, 2015, 10:07:44 AM8/13/15
to sage-devel
Whoops! I think everything is fixed now. Sorry about the mess.
--Andrew
Nathann Cohen
Aug 13, 2015, 10:09:30 AM8/13/15
to Sage devel
Thanks !
Nathann
On 13 August 2015 at 16:07, Andrew Gainer-Dewar
> --
> 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
> sage-devel+...@googlegroups.com.
> To post to this group, send email to sage-...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
Nathann
On 13 August 2015 at 16:07, Andrew Gainer-Dewar
> 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
> sage-devel+...@googlegroups.com.
> To post to this group, send email to sage-...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
Vincent Delecroix
Aug 13, 2015, 10:12:36 AM8/13/15
to sage-...@googlegroups.com
We should try to make the patchbot safer to such building failures...
Andrew, could you give us more details about what was going wrong?
Andrew, could you give us more details about what was going wrong?
Andrew Gainer-Dewar
Aug 13, 2015, 10:14:03 AM8/13/15
to sage-...@googlegroups.com
Honestly, I'm not entirely sure what the problem was. I killed the patchbot, did a 'make clean && make doc-clean && git checkout develop && make', and then fired it back up, and things seem to be working now.
Nathann Cohen
Aug 13, 2015, 10:22:00 AM8/13/15
to Sage devel
> We should try to make the patchbot safer to such building failures...
> Andrew, could you give us more details about what was going wrong?
I'd say that it is the usual problem: sometimes some files linger in
> Andrew, could you give us more details about what was going wrong?
the log/ file, and the build is reported as "failed" if some files
remain there.
Nathann
Reply all
Reply to author
Forward
0 new messages