Tweak Jenkins CI settings