From 36b6135012e9db117ecafdb2519174ab2af70384 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Mon, 5 Aug 2024 14:46:04 +0200 Subject: [PATCH] Polishing. Reformat Jenkinsfile. See #2333 --- Jenkinsfile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index f9e1e543..d0d1c5d9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -76,12 +76,10 @@ pipeline { label 'data' } options { timeout(time: 20, unit: 'MINUTES') } - environment { ARTIFACTORY = credentials("${p['artifactory.credentials']}") DEVELOCITY_ACCESS_KEY = credentials("${p['develocity.access-key']}") } - steps { script { docker.withRegistry(p['docker.proxy.registry'], p['docker.proxy.credentials']) {