On 13/06/15 13:25, Nathann Cohen wrote:
What is our politic about that? Should we force a patchbot green light with
respect to all optional packages?
A green patchbot is not exactly a requirement for a ticket to pass.
It's more a help than anything else. You see what it says, act on that
knowledge.
1) the set of installed optional packages appear on the patchbot report.
Note that you already see what optional package breaks since the
broken doctest should have a # optional flag.
Also, if you run tests with the latest Sage you will see the list of
packages appear. Won't this appear on the patchbot too?
...
Using
--optional=bliss,cbc,cryptominisat,gcc,git_trac,modular_decomposition,mpir,nauty,plantri,python2,sage,scons,topcom
...
It does in both the short and long logs.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
