On 2017-01-26 10:40, Thierry wrote: > the patchbot server is regularly maintained and seems healthy (i just > rebooted it to be sure that the issue does not come from that side). > Apparently, the reason is that your patchbot client sends a log that is > too big. I already met that issue once, the reason was that i ran a client > on a fresh sage source tarball which lead to a huge log. The workaround > was to first compile Sage, and then run the patchbot. Are you in a similar > case ?
Yes. I've delete the 0-log.txt file and now it started running... I've opened an issue for this on Github. Thanks Daniel -- 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.
