diff --git a/Jenkinsfile b/Jenkinsfile index eab0212..f10e5c2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,6 +6,8 @@ pipeline { environment { HTTP_PROXY = "http://proxy.lan.vdb.to:8080/" HTTPS_PROXY = "http://proxy.lan.vdb.to:8080/" + http_proxy = "http://proxy.lan.vdb.to:8080/" + https_proxy = "http://proxy.lan.vdb.to:8080/" } steps { script{