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?
--
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/51c31c15-bf8b-421e-bc50-8b52986698b6%40googlegroups.com.
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?
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.
The patchbot named "sage4" has been banned from posting its reports. It will be unbanned when Jeroen tells us that he is taking care.