The sagepad.org patchbot
to be depressed. It is unhappy with two unrelated tickets I'm involved in
(12943, which is trivial, and also 10527, which is more complicated), but
if you go to its result page (linked above), you see that it is unhappy
It is hitting doctest failures in sagedoc.py. The first of these is when
the file which it tries to open at line 22 doesn't exist. The doctest at
line 22 is trying to look at the built documentation to see that it looks
right. But so far as I can see from the log, the patchbot doesn't even try
to build the documentation; if that is so, it isn't surprising that the
doctest which tries to examine the documentation fails.
Maybe the patchbot needs to be rebooted or something? Or is something more
complicated going on? I am not wise in the ways of the patchbot, but
perhaps someone who is can offer a suggestion. Thanks!