CI builds stuck

Just noticed that Jenkins seems to be stuck due to Chimera being
offline again.