On Saturday, 6 June 2015 16:18:26 UTC+1, Volker Braun wrote: > > Jeroen made those comments, for the record. > > Does Jeroen now have an authority to decide which package does not deserve to be called 'optional'?
just wondering... > > On Saturday, June 6, 2015 at 4:47:30 PM UTC+2, Dima Pasechnik wrote: >> >> >> >> On Saturday, 6 June 2015 10:47:09 UTC+1, Volker Braun wrote: >>> >>> If you can fix the doctests then just switch it back to optional, its >>> not a big deal. Really only the content of build/pkgs/gap_packages/type >>> changed. >>> >> >> sure, but I got 4 messages about different optional packages, all of them >> looked as it sent by a bot that >> I am not aware about. >> The messages should tell you how to reproduce the failures; preferably >> pointing out to a log to look at. >> t? >> OK, I am running sage -tp --optional=sage,gap_packages src/sage/ >> now, as I have no clue where these errors are. >> And suppose I don't even get them. Then what? >> I really don't want to argue with a bot... >> >> >> >>> >>> >>> On Saturday, June 6, 2015 at 11:38:24 AM UTC+2, Dima Pasechnik wrote: >>>> >>>> WTF? Can you at least give a notice to fix the doctests?! >>>> >>>> #17390: GAP 4.7.7 >>>> >>>> -------------------------------------------------+------------------------- >>>> Reporter: slelievre | Owner: >>>> Type: enhancement | Status: closed >>>> Priority: major | Milestone: >>>> sage-6.5 >>>> Component: packages: standard | Resolution: fixed >>>> Keywords: | Merged in: >>>> Authors: Volker Braun | Reviewers: >>>> François >>>> Report Upstream: N/A | Bissey >>>> Branch: | Work issues: >>>> a210dd7544ee1579c29dfc4b5149d75301f66c85 | Commit: >>>> Dependencies: | Stopgaps: >>>> >>>> -------------------------------------------------+------------------------- >>>> Changes (by jdemeyer): >>>> >>>> * commit: a210dd7544ee1579c29dfc4b5149d75301f66c85 => >>>> >>>> >>>> Comment: >>>> >>>> FYI: `gap_packages` optional doctests don't pass, so the package was >>>> moved >>>> to experimental. >>>> >>>> -- 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.
