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
Phone: +33 06 52 70 66 13