Jenkins CI: all PR runs stuck

[Stamatis Zampetakis via dev]

Hi everyone,

There appears to be a problem with Jenkins CI and all PR runs are
stuck. I will take a look right now and keep you posted.

Best,
Stamatis