Hi Jeroen, On 2018-11-23, Jeroen Demeyer <j.deme...@ugent.be> wrote: > On 2018-11-22 18:45, 'Martin R' via sage-devel wrote: >> 1) would it be easy and desirable to make the patchbots run tests in >> random order? > > Easy: yes > Desirable: no, it would create a lot of doctest failures
... whose fixing is likely to make Sage run more stably. Afte all, doctests that fail when being executed in a different order mean that there are side-effects. And side-effects imply instability. So, I'd tend to believe that it is desirable. Best regards, Simon -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
