[sage-devel] Re: arando patchbot spam

With which version of the patchbot ? Le vendredi 27 mars 2015 16:18:39 UTC+1, Jakob Kroeker a écrit : > > Ticket 15056 is also interesting - try run it explicitly and one will get: > > Switched to branch 'patchbot/base' > Already on 'patchbot/base' > fatal: 'None' does not appear to be a git repos

[sage-devel] Re: arando patchbot spam

Ticket 15056 is also interesting - try run it explicitly and one will get: Switched to branch 'patchbot/base' Already on 'patchbot/base' fatal: 'None' does not appear to be a git repository fatal: The remote end hung up unexpectedly Is that connected to the fact that in ticket 15056 the 'git_bran

[sage-devel] Re: arando patchbot spam

new patchbot 2.3.1 released, please upgrade sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.1.spkg Frederic Le vendredi 27 mars 2015 11:54:46 UTC+1, Frédéric Chapoton a écrit : > > Hello, > > Hhrrm. Patchbot 2.3 seems to have a little problem right now, as it will > probably never test

[sage-devel] Re: arando patchbot spam

Hello, Hhrrm. Patchbot 2.3 seems to have a little problem right now, as it will probably never test any ticket, because 'git' is not a trusted user.. Please wait for the next release before upgrading your patchbots. Frédéric -- You received this message because you are subscribed to the Googl

[sage-devel] Re: arando patchbot spam

It shouldn't have tested #7298, #12731 (needs_work), #15951 (closed), nor #11559 (needs_info), at all. -- 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+

Re: [sage-devel] Re: arando patchbot spam

On Thursday, 26 March 2015 15:52:42 UTC, Jeroen Demeyer wrote: > > On 2015-03-26 16:21, Dima Pasechnik wrote: > > On 2015-03-25, Frédéric Chapoton > > wrote: > >> Now arando is loop-testing #4120.. > > > > I'll install all the OS updates and reboot it, perhaps it'd help... > > I doubt it is

Re: [sage-devel] Re: arando patchbot spam

On 2015-03-26 16:21, Dima Pasechnik wrote: On 2015-03-25, Frédéric Chapoton wrote: Now arando is loop-testing #4120.. I'll install all the OS updates and reboot it, perhaps it'd help... I doubt it is OS-related... -- You received this message because you are subscribed to the Google Groups

[sage-devel] Re: arando patchbot spam

I would suggest also - installing the brand new patchbot 2.3 - running it on top of sage 6.6.rc0 I am still working on understanding the issue. Le jeudi 26 mars 2015 16:22:06 UTC+1, Dima Pasechnik a écrit : > > On 2015-03-25, Frédéric Chapoton > > wrote: > > Now arando is loop-testing #4120..

[sage-devel] Re: arando patchbot spam

On 2015-03-25, Frédéric Chapoton wrote: > Now arando is loop-testing #4120.. I'll install all the OS updates and reboot it, perhaps it'd help... -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving em

Re: [sage-devel] Re: arando patchbot spam

Now arando is loop-testing #4120.. Le mercredi 25 mars 2015 15:53:31 UTC+1, Frédéric Chapoton a écrit : > > I guess something is wrong inside the patchbot way to choose tickets. > > Now sage4 seems to be loop-testing #11559. Quite fast, by the way. > > The core function is "rate_ticket" in patchbo

Re: [sage-devel] Re: arando patchbot spam

I guess something is wrong inside the patchbot way to choose tickets. Now sage4 seems to be loop-testing #11559. Quite fast, by the way. The core function is "rate_ticket" in patchbot.py. It looks rather complicated. I have already made one pull request on the github page of the patchbot to pre

Re: [sage-devel] Re: arando patchbot spam

do tell me if something extra needs to be installed or done system-wide... On Tuesday, 24 March 2015 22:15:16 UTC, Jeroen Demeyer wrote: > > On 2015-03-24 21:52, Frédéric Chapoton wrote: > > Even worse: ticket 7298 may have been tested 15000 times ?? > I guess the bot *really* wants html5 video

Re: [sage-devel] Re: arando patchbot spam

On 2015-03-24 21:52, Frédéric Chapoton wrote: Even worse: ticket 7298 may have been tested 15000 times ?? I guess the bot *really* wants html5 video tag for animations :-) I have no idea what's going on, I'm running the "arando" and "sage4" bots but not doing anything strange (as far as I know

Re: [sage-devel] Re: arando patchbot spam

On 2015-03-24 21:29, Frédéric Chapoton wrote: Did somebody fix it ? Yes. Is is running the 2.2 patchbot ? Yes. -- 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] Re: arando patchbot spam

And now another bot is stuck testing again and again #11529 http://patchbot.sagemath.org/ticket/11559/ Something is going dead wrong with the patchbots !! Frédéric Le mardi 24 mars 2015 21:52:37 UTC+1, Frédéric Chapoton a écrit : > > Even worse: ticket 7298 may have been tested 15000 times ?? >

[sage-devel] Re: arando patchbot spam

Even worse: ticket 7298 may have been tested 15000 times ?? in http://patchbot.sagemath.org/ticket/?base=6.5, see the last line 15951  7298 use html5 video tag for animations I wonder if this is really possible ? Frédéric Le mardi 24 mars 2015 21:29:06 UTC+1, Frédéric Chapoton a écrit : > > H

[sage-devel] Re: arando patchbot spam

Hello, the arando patchbot is now testing the same ticket again and again: http://patchbot.sagemath.org/ticket/12731/ Did somebody fix it ? Is is running the 2.2 patchbot ? Is robertwb still taking care of the patchbot code, by the way ? I have three pull requests on github. Frédéric -- You

Re: [sage-devel] Re: arando patchbot spam

On 2015-03-19 09:43, Frédéric Chapoton wrote: *+ 1* And if possible, let the patchbot work on the base of the latest beta. I am running the patchbot on arando. Doesn't the patchbot automatically upgrade its Sage version? -- You received this message because you are subscribed to the Google G

[sage-devel] Re: arando patchbot spam

While arando (the box) is in my office, it's not me who runs the patchbot/buildbot there. Is it Volker, or Jeroen? On Thursday, 19 March 2015 08:43:53 UTC, Frédéric Chapoton wrote: > > *+ 1* > > And if possible, let the patchbot work on the base of the latest beta. > > Frederic > > Le jeudi 19

[sage-devel] Re: arando patchbot spam

*+ 1* And if possible, let the patchbot work on the base of the latest beta. Frederic Le jeudi 19 mars 2015 07:54:05 UTC+1, Ralf Stephan a écrit : > > Hello, > this system is still spamming with wrong patchbot results: > 6.6.beta5 Ubuntu/14.04/i686/3.13.0-40-generic/arando >