Re: [sage-devel] Doctests failures in sage.dev

2016-05-19 Thread Erik Bray
On Thu, May 19, 2016 at 4:17 PM, Erik Bray wrote: > On Wed, May 18, 2016 at 8:27 PM, Volker Braun wrote: >> A number of buildbot machines are now failing tests, probably due to a >> recent git update? In any case, I propose to remove sage.dev. Of

Re: [sage-devel] Doctests failures in sage.dev

2016-05-19 Thread Erik Bray
On Wed, May 18, 2016 at 8:27 PM, Volker Braun wrote: > A number of buildbot machines are now failing tests, probably due to a > recent git update? In any case, I propose to remove sage.dev. Of course feel +1 but... > free to fix the failures if you want to keep it ;-)

[sage-devel] Doctests failures in sage.dev

2016-05-18 Thread Volker Braun
A number of buildbot machines are now failing tests, probably due to a recent git update? In any case, I propose to remove sage.dev. Of course feel free to fix the failures if you want to keep it ;-) sage -t --long src/sage/dev/git_interface.py