#18937: Upgrade patchbot again
-------------------------------------+-------------------------------------
Reporter: chapoton | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.9
Component: packages: | Resolution:
optional | Merged in:
Keywords: patchbot | Reviewers: Jeroen Demeyer,
Authors: Frédéric Chapoton | Nathann Cohen, Vincent Delecroix
Report Upstream: N/A | Work issues:
Branch: u/chapoton/18937 | Commit:
Dependencies: | b06cc7f2214b94c24a071e7fe06eb39772ce3a44
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Replying to [comment:69 chapoton]:
> 1) the html doc is now always build, when doing make, so the plugin is
not activated to avoid a duplicate. There is also a pdf-doc plugin, not
activated by default.
>
> 2) "An exception has been raised during the test" is now raised when
nothing is known about the exception. Maybe this was a wrong change, and
should be reverted ?
This is a clear problem. The patchbot did report nothing to #19048 where
it should have said documentation failed to build. I do not know how it
handled it before but I thought that the patchbot did report some kind of
"documentation failed" as a status. Though, the main problem is not the
fact that it does not know what kind of error it is (you can figure out
from the log) but the fact that the patchbot did not send the log to the
server...
> 3) concerning python dependencies, there is only dateutil. I would
prefer to keep it, because it makes sense to have a correct handling of
timezones in a world-wide server.
Then perhaps its presence could be checked in the installation script?
--
Ticket URL: <http://trac.sagemath.org/ticket/18937#comment:71>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/d/optout.
