On 2017-02-13 12:33, Clemens Heuberger wrote: > It is my subjective observation that timeouts on patchbots have become more > frequent. For instance, for ticket > https://patchbot.sagemath.org/ticket/22340/ > two patchbots failed due to timeout,
I also noticed this to become more frequent. What can we do against this? (Using 3 or less parallel threads is kind of a workaround, but not "the solution".) 1) For example, could we simply retry a doctest if it times out? (...and report some kind of warning only, not an error.) 2) Could we simply increase the timeout time? (...or does this not help, as some process has died etc.?) 3) Is it realistic to find the underlying bug and fix it? Thoughts? Implementations of 1? Best 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
