Case: Jenkins configuration automation