configuration for the jenkins server