My config files for Jenkins CI