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 > <javascript:>> 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 >>> <https://patchbot.sagemath.org/ticket/?machine=Gentoo++++++++BaseSystem&machine=2.2&machine=x86_64&machine=4.14.78-gentoo&machine=sage4&status=open> >>> >>> 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 <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/51c31c15-bf8b-421e-bc50-8b52986698b6%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/51c31c15-bf8b-421e-bc50-8b52986698b6%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/32d8c6e0-ac54-4573-8e5f-44ff04383ed7%40googlegroups.com.
