Configuration of Jenkins servers