On Fri, Jul 26, 2013 at 2:05 PM, Ondřej Čertík <[email protected]> wrote: > On Fri, Jul 26, 2013 at 12:42 PM, Aaron Meurer <[email protected]> wrote: >> It was just pointed out to me that you can restart a Travis build by >> clicking on the gear icon in the Travis build page and choosing >> "Restart built". You can also restart individual jobs. > > Yep, I've been using this with great success. > >> >> I think at this point, Python 3 with external dependencies (the second >> to last job) always times out, because numpy and matplotlib take too >> long to compile. But the others might finish if you restart them. > > I think there is a way to install the dependencies faster, possibly by > creating > our own Ubuntu ppa, and then just installing them with apt-get. Or > something similar. > > I think we should maybe move some slow running tests out of the sympy > testsuite. > And maybe create a new test, let's say only Python 2.7, that would > only run the slow tests.
See https://github.com/sympy/sympy/pull/2225. You can decorate slow tests with @slow. The problem with that pull request is that even with a timeout of five minutes, it still hits the ten minute Travis limit, I think because it takes more than five minutes to interrupt the particular test! So we should just skip/remove that test altogether. Aaron Meurer > > Ondrej > > -- > You received this message because you are subscribed to the Google Groups > "sympy" 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 http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sympy" 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 http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
