Re: [sage-devel] src/ext and unsafe tickets

> > Coincidentally, I just discovered this feature myself in the process > of preparing a little patch to the patchbot. This could be really > sluggish for the Windows patchbot, so I'll probably just disable it in > the settings. The feature (allowing to test unsafe tickets) seems broken

Re: [sage-devel] src/ext and unsafe tickets

On Mon, Jun 26, 2017 at 6:03 PM, Kwankyu Lee wrote: > Hi, > > If a patch to a ticket put files in src/ext, then the ticket is considered > "unsafe", and the patchbot treat it with caution. In particular, the > patchbot clones sage into /tmp and builds it with the patch there.

[sage-devel] src/ext and unsafe tickets

Hi, If a patch to a ticket put files in src/ext, then the ticket is considered "unsafe", and the patchbot treat it with caution. In particular, the patchbot clones sage into /tmp and builds it with the patch there. This causes the building time (and the size of the log file) increase