The best solution would probably be if the patchbot config file had a way to exclude #optional stuff...
On Sunday, May 1, 2016 at 6:18:24 AM UTC+2, vdelecroix wrote: > > Hello, > > The ticket #20182 (merged 7.2.beta6) introduced a different behavior for > `sage -t`. Namely it tests all available optional packages. > > Because to this, the patchbot librae is unusable. I opened #20525 to fix > them. If you have failing optional doctests, please add them to the list > on the ticket together with your precise configuration of optional > package installed. > > Vincent > -- 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.