[sage-devel] patchbot trouble

2021-09-02 Thread 'Martin R' via sage-devel
Unfortunately, I keep getting a strange test failure in my patchbot install. When run alone, the test passes. It only occurs when executing LANG=C.UTF-8 python3 -m sage_patchbot.patchbot --config=config.json martin@convex63:~/sage-patchbot$ cat config.json { "parallelism": 4, "sage_ro

Re: [sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-20 Thread John Cremona
On 20 June 2018 at 09:23, Erik Bray wrote: > On Tue, Jun 19, 2018 at 5:13 PM Jeroen Demeyer wrote: > > > > Several patchbots are showing this error: > > > > [eclib-20171002.p0] libtool: compile: g++ -std=gnu++11 > > -DPACKAGE_NAME=\"eclib\" -DPACKAGE_TARNAME=\"eclib\" > > -DPACKAGE_VERSION=\"20

Re: [sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-20 Thread Erik Bray
On Tue, Jun 19, 2018 at 5:13 PM Jeroen Demeyer wrote: > > Several patchbots are showing this error: > > [eclib-20171002.p0] libtool: compile: g++ -std=gnu++11 > -DPACKAGE_NAME=\"eclib\" -DPACKAGE_TARNAME=\"eclib\" > -DPACKAGE_VERSION=\"20171002\" "-DPACKAGE_STRING=\"eclib 20171002\"" > -DPACKAGE_

[sage-devel] Patchbot trouble with flint/fmpz.h

2018-06-19 Thread Jeroen Demeyer
Several patchbots are showing this error: [eclib-20171002.p0] libtool: compile: g++ -std=gnu++11 -DPACKAGE_NAME=\"eclib\" -DPACKAGE_TARNAME=\"eclib\" -DPACKAGE_VERSION=\"20171002\" "-DPACKAGE_STRING=\"eclib 20171002\"" -DPACKAGE_BUGREPORT=\"john.crem...@gmail.com\" -DPACKAGE_URL=\"\" -DPACKA

Re: [sage-devel] patchbot trouble

2013-01-28 Thread Christian Nassau
Am 28/01/13 20:00, schrieb Robert Bradshaw: On Mon, Jan 28, 2013 at 6:58 AM, Christian Nassau wrote: Dear patchbot-technicians, For the past two days I had a local patchbot running and now it has eaten up all of the disk space and stopped. (I admit that there wasn't much space to begin with,

Re: [sage-devel] patchbot trouble

2013-01-28 Thread Robert Bradshaw
On Mon, Jan 28, 2013 at 6:58 AM, Christian Nassau wrote: > Dear patchbot-technicians, > > For the past two days I had a local patchbot running and now it has eaten up > all of the disk space and stopped. > > (I admit that there wasn't much space to begin with, just something around > 6G.) > > As a

[sage-devel] patchbot trouble

2013-01-28 Thread Christian Nassau
Dear patchbot-technicians, For the past two days I had a local patchbot running and now it has eaten up all of the disk space and stopped. (I admit that there wasn't much space to begin with, just something around 6G.) As a consequence, most of the failures that were reported on http://patc