On Friday, July 7, 2017 at 4:38:14 PM UTC+2, Volker Braun wrote: > > (4) Try to find out why these tests time out and fix the underlying issue >
Isn't the issue is that the tests in the file actually take more time in total than the limit set by SAGE_TIMEOUT_LONG, especially when the machine on which the patchbot is running is slow or overloaded? If yes, (3) is one way to fix it. -- 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.
