On 2 October 2013 12:17, John Cremona <john.crem...@gmail.com> wrote: > On 2 October 2013 12:08, Volker Braun <vbraun.n...@gmail.com> wrote: >> On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote: >>> >>> > sage -patchbot # run >>> >>> Should this sage be the last official release, or the latest >>> development release? And does the second line just keep running >>> forever (which is fine)? >> >> >> Its supposed to run forever, first going through all tickets and then >> testing new tickets as they appear.
I'm not sure this is what is actually happening... >> > > OK, now running (with 5.11) on lehner.warwick.ac.uk, which runs ubuntu > 12.04 server edition and has 64 cores and 128gb. > #15209 seems to be running once a minute (see http://patchbot.sagemath.org/ticket/15209/) and I don't think the ticket's author is working quite that fast. John > John > >> >> >> -- >> 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/groups/opt_out. -- 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/groups/opt_out.
