Hi, I've added the build-timeout plugin to jenkins; it'll abort pull-request validation jobs that take "several times their usual completion times". Let's see if it helps unstick the queue. -- Francesco