Dear patchbot-technicians,
For the past two days I had a local patchbot running and now it has
eaten up all of the disk space and stopped.
(I admit that there wasn't much space to begin with, just something
around 6G.)
As a consequence, most of the failures that were reported on
http://patchbot.sagemath.org/ticket/?machine=openSUSE%20/12.2/x86_64/3.4.11-2.16-desktop/jehova
seem to be system problems: the "log" and "shortlog" files, for example,
are mostly empty. Can somebody remove these reports from the Sage server?
And since I plan to restart the beast I have a couple of questions:
- what is the size requirement of a long-running patchbot? (assuming
the size eventually stabilizes)
- what if I hacked my local patchbot to automatically remove the sage
clones after every test, not just the closed tickets. would that be a
big disadvantage? would it even break the patchbot?
Cheers,
Christian
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
