Date: prev next · Thread: first prev next last
2017 Archives by date, by thread · List index


Hi,

On Mon, Feb 6, 2017 at 3:02 AM, Kaganski Mike <mikekaganski@hotmail.com>
wrote:

Hi,

On 2/5/2017 6:58 PM, Zolnai Tamás wrote:

I wonder whether it can be solved somehow to stop jenkins build, when
a new patch set is uploaded to gerrit. It seems a waste of resources
to finish build of a previous patch set if a new one is there.


I believe that this isn't the best solution. There are sometimes cases
when it's not desirable (and it's not guaranteed that *the last* patch set
will necessarily be the one pushed).
IMO the best option is to provide meand to manually do that from gerrit by
owner of the patch set (if possible), or the same from the build page
itself.


+1

Would be great to have a "stop build" button, esp. for when the build
server is slow/overwhelmed and we need to build a newer patch than the one
wasting valuable cycles (and electricity).

-Ash

Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.