sage4 patchbot

[Ralf Stephan]

Please stop spamming BuildFailed.

[Jeroen Demeyer]

On 2016-09-23 08:00, Ralf Stephan wrote:
> Please stop spamming BuildFailed.

Please review #21430 (i.e. don't shoot the messenger but listen to the
message).

[Ralf Stephan]

What has that to do with stopping the bot (or monitoring it at all, for that matter)?

[Jeroen Demeyer]

On 2016-09-23 08:51, Ralf Stephan wrote:
> What has that to do with stopping the bot (or monitoring it at all, for
> that matter)?

Nothing with that. But it has *everything* to do with fixing the bot.

[Frédéric Chapoton]

sage4 is going on as usual with 7.4.beta6, always giving us generously wrong BuildFailed reports.

Frederic

[Thierry]

On Sat, Sep 24, 2016 at 06:34:33AM -0700, Frédéric Chapoton wrote:
> sage4 is going on as usual with 7.4.beta6, always giving us generously
> wrong BuildFailed reports.

How was it not blocked when testing ticket 0 ? Perhaps should we require
each patchbot to retest ticket 0 at each new beta ?

Ciao,
Thierry

> Frederic
>
> Le vendredi 23 septembre 2016 11:12:51 UTC+2, Jeroen Demeyer a écrit :
> >
> > On 2016-09-23 08:51, Ralf Stephan wrote:
> > > What has that to do with stopping the bot (or monitoring it at all, for
> > > that matter)?
> >
> > Nothing with that. But it has *everything* to do with fixing the bot.
> >
> >
>

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

[Jeroen Demeyer]

On 2016-09-24 15:58, Thierry wrote:
> On Sat, Sep 24, 2016 at 06:34:33AM -0700, Frédéric Chapoton wrote:
>> sage4 is going on as usual with 7.4.beta6, always giving us generously
>> wrong BuildFailed reports.
>
> How was it not blocked when testing ticket 0 ? Perhaps should we require
> each patchbot to retest ticket 0 at each new beta ?

Or perhaps people should just REVIEW THE BLOCKER TICKETS when I
repeatedly ask for it.