Jenkins broken this morning

[Ivan Kelly]

Hi folks,

Jenkins went nuts this morning, so infra rebooted it. It means that
some jobs that may have been pending never happened, so rekick the
testing on your patches if needed (retest this please).

Cheers
Ivan