Hi list, Is there any problem now with the patchbot?
I see that many tickets fail at the doctest on 4.7.1, however, if you check the logs in most of them you will not find any failure in the log. In some cases some tests have been killed, kind of timeout? or there are genuine doctest failures but in many others there is no failure. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org