<div dir="ltr"><div><div><div><div><div><div><div>Hi,<br><br></div>past few days there ware some problems automatically building pull requests.<br></div>That resulted in many duplicated jobs running on Jenkins and never getting back proper result.<br>
<br></div>Problem was caused by Jenkins upgrade on lightning over weekend.<br></div><div>after which this bug <a href="https://issues.jenkins-ci.org/browse/JENKINS-15583">https://issues.jenkins-ci.org/browse/JENKINS-15583</a> bit us.<br>
</div><div><br></div>This should all be all resolved now.<br><br></div>If you notice any problem or strange behavior let me know.<br><br><br></div>--<br></div>Tomaz<br></div>