If you are talking about the patchbot named Ubuntu/18.4/x86_64/3.13.0-170-generic/44e979ad077a
then it is known to be a rather problematic one. We do not know who is running this patchbot. It has therefore several problems that have not been fixed despite being known for at least 6 months. Patchbot owners are supposed to provide their trac name in the patchbot config, but here somebody didn't. F Le mercredi 10 juillet 2019 00:03:07 UTC+2, Paul Masson a écrit : > > In the process of reviewing https://trac.sagemath.org/ticket/28130, I > noticed that the Ubuntu patchbot fails to apply the commits of this ticket > to 8.9.beta1. I created a clean branch of 8.9.beta1 and successfully merged > the commits of this ticket without any issues, so what's up with the > patchbot? Is this a real build error or a patchbot error? > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/cc9cefce-a3b9-4791-8a25-b9ed1b6442d9%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
