Hi,

past few days there ware some problems automatically building pull requests.
That resulted in many duplicated jobs running on Jenkins and never getting back proper result.

Problem was caused by Jenkins upgrade on lightning over weekend.
after which this bug https://issues.jenkins-ci.org/browse/JENKINS-15583 bit us.

This should all be all resolved now.

If you notice any problem or strange behavior let me know.


--
Tomaz