The UI Manager problem was fixed by Pablo and Guille -- Pavel
2017-12-16 13:06 GMT+01:00 Stephane Ducasse <stepharo.s...@gmail.com>: > tx pavel > > On Sat, Dec 16, 2017 at 9:25 AM, Pavel Krivanek <pavel.kriva...@gmail.com> > wrote: > >> The problems were related UIManager initialization and consequences of >> the opening of the Welcome window. >> >> -- Pavel >> >> 2017-12-16 9:12 GMT+01:00 Stephane Ducasse <stepharo.s...@gmail.com>: >> >>> Pavel what was the problem? >>> >>> Stef >>> >>> >>> On Tue, Dec 12, 2017 at 9:34 PM, Pavel Krivanek < >>> pavel.kriva...@gmail.com> wrote: >>> >>>> The variable value was reverted to the original value. Thanks. >>>> >>>> -- Pavel >>>> >>>> 2017-12-12 20:13 GMT+01:00 Pavel Krivanek <pavel.kriva...@gmail.com>: >>>> >>>>> Yes, with Marcus we decreased the retryTimes variable two weeks ago >>>>> to 1 because in that time the validations were in really bad shape and >>>>> literally every validation failed on some random issue and the retries >>>>> caused enormous build times. It was producing more troubles than profit. >>>>> It >>>>> probably can be reverted now because the main problem of the validation >>>>> instability was suppressed. I will prepare a PR. >>>>> >>>>> -- Pavel >>>>> >>>>> 2017-12-12 18:52 GMT+01:00 Guillermo Polito <guillermopol...@gmail.com >>>>> >: >>>>> >>>>>> I see that we are retrying tests only once, which is causing most (if >>>>>> not all) pull requests to fail sporadically... >>>>>> >>>>>> Maybe it got lost because of a mistake? >>>>>> >>>>>> Also, I'd like that changes in the build process are discussed in the >>>>>> mailing list from time to time... I've put a lot of effort into making it >>>>>> work and if we have regressions I'd like to understand them... >>>>>> >>>>>> Guille >>>>>> >>>>>> -- >>>>>> >>>>>> >>>>>> >>>>>> Guille Polito >>>>>> >>>>>> Research Engineer >>>>>> >>>>>> Centre de Recherche en Informatique, Signal et Automatique de Lille >>>>>> >>>>>> CRIStAL - UMR 9189 >>>>>> >>>>>> French National Center for Scientific Research - *http://www.cnrs.fr >>>>>> <http://www.cnrs.fr>* >>>>>> >>>>>> >>>>>> *Web:* *http://guillep.github.io* <http://guillep.github.io> >>>>>> >>>>>> *Phone: *+33 06 52 70 66 13 <+33%206%2052%2070%2066%2013> >>>>>> >>>>> >>>>> >>>> >>> >> >