Jeroen made those comments, for the record.
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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
