It seems that my patchbot 'groebner' hits (at least in the past) too many build failures, while other patchbots succeeds for the same tickets. So I suspect something is/was fishy.
A typical log did look like http://patchbot.sagemath.org/log/16878/debian/wheezy/sid/x86_64/3.8.0-29-generic/groebner/2014-08-29%2016:29:58%20+0200?short When I checkout the ticket by hand instead and run 'make -j 23 ' I cannot reproduce the problems yet. Any idea about the causing issues? Remark: maybe the issue is meanwhile fixed, but now the patchbots stuck in ticket 15339, see https://github.com/robertwb/sage-patchbot/issues/52 so I stopped the patchbots 'andromeda' and 'groebner' for now. Jakob -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
