Re: [sage-devel] update patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4
I think that I currently have arando and sage4 running correctly with the latest patchbot. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] update patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4
Hi Frederic, I can provide you an account on the arando box, so that you can have your own instance of a "really" running patchbot. How about that? Dima On Tuesday, 21 April 2015 07:15:13 UTC+1, Frédéric Chapoton wrote: > > Hello Jeroen, > > 1) I am sorry for having released a broken patchbot without testing it. > All my apologies. As far as I know, 2.3.3 is now repaired. > 2) the *only current working patchbot* seems to be pcl337b, running > patchbot 2.3.2 probably with --skip-base > All the other machines seem to meet various problems. I think that any > version <= 2.3.1 should be discarded. > 3) If you meet some problem with 2.3.3 please let me know. > 4) I have already made some more minor corrections, but I will not release > 2.3.4 without testing it myself. > 5) the situation concerning unsafe tickets needs more care. I am currently > concentrating on having the patchbot > working correctly on safe tickets. > > Frederic > > Le lundi 20 avril 2015 21:52:23 UTC+2, Jeroen Demeyer a écrit : >> >> On 2015-04-19 13:21, Vincent Delecroix wrote: >> > Hello, >> > >> > It seems that the patchbot >> > >> > Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4 >> > >> > is somewhat broken! (it fails at a very early step while other build >> bot >> > did well) >> >> Once the new patchbot proves that it actually works better than the >> current one, I will upgrade. I am still constantly struggling to get the >> new patchbot to work correctly on arando, so I don't see why I should >> also potentially bring sage4 in trouble. >> >> -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] update patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4
Hello Jeroen, 1) I am sorry for having released a broken patchbot without testing it. All my apologies. As far as I know, 2.3.3 is now repaired. 2) the *only current working patchbot* seems to be pcl337b, running patchbot 2.3.2 probably with --skip-base All the other machines seem to meet various problems. I think that any version <= 2.3.1 should be discarded. 3) If you meet some problem with 2.3.3 please let me know. 4) I have already made some more minor corrections, but I will not release 2.3.4 without testing it myself. 5) the situation concerning unsafe tickets needs more care. I am currently concentrating on having the patchbot working correctly on safe tickets. Frederic Le lundi 20 avril 2015 21:52:23 UTC+2, Jeroen Demeyer a écrit : > > On 2015-04-19 13:21, Vincent Delecroix wrote: > > Hello, > > > > It seems that the patchbot > > > > Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4 > > > > is somewhat broken! (it fails at a very early step while other build bot > > did well) > > Once the new patchbot proves that it actually works better than the > current one, I will upgrade. I am still constantly struggling to get the > new patchbot to work correctly on arando, so I don't see why I should > also potentially bring sage4 in trouble. > > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] update patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4
On 2015-04-19 13:21, Vincent Delecroix wrote: Hello, It seems that the patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4 is somewhat broken! (it fails at a very early step while other build bot did well) Once the new patchbot proves that it actually works better than the current one, I will upgrade. I am still constantly struggling to get the new patchbot to work correctly on arando, so I don't see why I should also potentially bring sage4 in trouble. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] update patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4
Hello, It seems that the patchbot Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4 is somewhat broken! (it fails at a very early step while other build bot did well) Please update it or shut it down! Vincent -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
