mad patchbot?

96 views
Skip to first unread message

Léo Brunswic

unread,
Dec 2, 2019, 9:27:39 AM12/2/19
to sage-devel

Hi ,

I noticed that the following patchbot reports systematic builds errors (after only 10s) 

Gentoo Base System/2.2/x86_64/4.14.78-gentoo/sage4

Shouln't this bot be banned since it produces massive amount of falty reports?


See :https://patchbot.sagemath.org/ticket/?machine=Gentoo%20Base%20System&machine=2.2&machine=x86_64&machine=4.14.78-gentoo&machine=sage4&status=open




Léo Brunswic

Dima Pasechnik

unread,
Dec 2, 2019, 9:53:27 AM12/2/19
to sage-devel, Jeroen Demeyer
That's Jeroen's patchbot, I cc to him
> --
> 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/481b2fc5-82e3-4e04-b7ef-272343869352%40googlegroups.com.

Frédéric Chapoton

unread,
Dec 6, 2019, 2:57:17 AM12/6/19
to sage-devel
The mad patchbot named "sage4" is still running at full steam, sending wrong reports by hundreds.

It seems to be running an old version ot the patchbot code on python 2.7, which is not allowed anymore.

Frederic

Dima Pasechnik

unread,
Dec 6, 2019, 4:04:34 AM12/6/19
to sage-devel
As Jeroen, who runs that bot, appears to be AWOL, this bot has to be banned.


--
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.

Frédéric Chapoton

unread,
Dec 7, 2019, 5:21:44 AM12/7/19
to sage-devel
The patchbot named "sage4" has been banned from posting its reports. It will be unbanned when Jeroen tells us that he is taking care.

F


Le vendredi 6 décembre 2019 10:04:34 UTC+1, Dima Pasechnik a écrit :
As Jeroen, who runs that bot, appears to be AWOL, this bot has to be banned.


On Fri, 6 Dec 2019, 07:57 Frédéric Chapoton, <fchap...@gmail.com> wrote:
The mad patchbot named "sage4" is still running at full steam, sending wrong reports by hundreds.

It seems to be running an old version ot the patchbot code on python 2.7, which is not allowed anymore.

Frederic

Le lundi 2 décembre 2019 15:27:39 UTC+1, Léo Brunswic a écrit :

Hi ,

I noticed that the following patchbot reports systematic builds errors (after only 10s) 

Gentoo Base System/2.2/x86_64/4.14.78-gentoo/sage4

Shouln't this bot be banned since it produces massive amount of falty reports?


See :https://patchbot.sagemath.org/ticket/?machine=Gentoo%20Base%20System&machine=2.2&machine=x86_64&machine=4.14.78-gentoo&machine=sage4&status=open




Léo Brunswic

--
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-...@googlegroups.com.

Kwankyu Lee

unread,
Dec 7, 2019, 6:16:30 AM12/7/19
to sage-devel


On Saturday, December 7, 2019 at 7:21:44 PM UTC+9, Frédéric Chapoton wrote:
The patchbot named "sage4" has been banned from posting its reports. It will be unbanned when Jeroen tells us that he is taking care.

Thank God! 
Reply all
Reply to author
Forward
0 new messages