Hi, so I probably found the issue why this broke the build. I have checked the CI before merging and it was OK, see CI+1 on patch set 20. Now looking at console outputs of those jobs, the build itself failed, but build jobs are marked as SUCCESSFULL. So it seems we have a bug in those jobs!!! On Thu, May 19, 2016 at 3:53 PM, Tal Nisan <tnisan(a)redhat.com&gt; wrote: