tx them too.��

This is great to be surrounded by all you guys!

On Sat, Dec 16, 2017 at 8:22 PM, Pavel Krivanek <pavel.krivanek@gmail.com> wrote:

The UI Manager problem was fixed by Pablo and Guille

-- Pavel

2017-12-16 13:06 GMT+01:00 Stephane Ducasse <stepharo.self@gmail.com>:

tx pavel

On Sat, Dec 16, 2017 at 9:25 AM, Pavel Krivanek <pavel.krivanek@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.self@gmail.com>:

Pavel what was the problem?

Stef

On Tue, Dec 12, 2017 at 9:34 PM, Pavel Krivanek <pavel.krivanek@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.krivanek@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 <guillermopolito@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 Web: http://guillep.github.io Phone: +33 06 52 70 66 13