Tx Christophe, I'll check if everything's ok. As Andrei said, we seem to have lost information regarding sending mails at the end of the builds. Did this problem occur in other projects? Anyways, It is not a big deal and we can always add it we still need it. On Tue, Jan 5, 2016 at 8:59 PM, Christophe Demarey < Christophe.Demarey(a)inria.fr&gt; wrote: