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