On 2015-07-16 13:22, Nathann Cohen wrote:
This points to the core problem: we simply have no way to guess whether
people want to do that or not.
We do not have to care. Doctests must pass, whatever the install is.
If the local install is broken then we should have a way to detect it,
and if we detect it we must not run the doctests automatically. But if
the install is not broken and the doctests break, then we must know
it.
I agree with this whole paragraph you wrote.
However, it's only because you used "we" where I assume you mean "Sage
developers in general". If you replace "we" by any person in particular,
I no longer agree.
Jeroen.
--
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/d/optout.
