>
> Hence no patchbot can test any ticket, otherwise they will report an error
> on each ticket due to that unrelated failing doctest.
This is not quite true. The correct statement is that no patchbot can
*start* testing tickets. When the patchbot is started, it tests whether the
latest Sage beta ("ticket 0") passes doctests, and aborts if not. But
running patchbots automatically upgrade themselves to each new beta, and do
not repeat the "ticket 0" check after upgrade. So any patchbot that hasn't
been rebooted since 8.2.beta8 came out will still be running along merrily,
and reporting failures on every single ticket it tests, which is pretty
useless if you ask me.
IMHO, the patchbot should be reconfigured so that it re-tests ticket 0
after every upgrade, and if that test fails, the patchbot should stop --
and ideally auto-generate an email (to its maintainer, or perhaps even to
the sage-release list) reporting the problem.
Best, David
On 16 March 2018 at 11:00, Frédéric Chapoton <[email protected]> wrote:
> you must fill the Author field..
>
>
> Le vendredi 16 mars 2018 10:35:01 UTC+1, Emmanuel Charpentier a écrit :
>>
>> I have set Trac#24969 <https://trac.sagemath.org/ticket/24969> to
>> "needs_review" yesterday ;this morning, I saw that no patchbot tried to
>> check it. I kicked it.
>>
>> To date, no sign of activity.
>>
>> Is that normal ? I was expecting to see this ticket tested by at least a
>> couple of parchbots... OTOH, I have no idea of the current queue(s) for
>> patchbot attention, nor on the scheduling policies.
>>
>> FWIW :
>>
>> - This is your routine vanilla upgrade to R (3.4.4 was released
>> yesterday).
>> - The ticket has a pointer to the upstream source tarball
>> - The branch has the "right" content.
>> - On my machine, passes ptestlong with no failures, and sort-of
>> passes its own test suite.
>>
>>
>> --
>> Emmanuel Charpentier
>>
> --
> 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 https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
>
--
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
