Configuring proxy settings in Jenkins