Polishing.

Reformat Jenkinsfile. See #2333
2024-08-05 14:46:04 +02:00
parent 11f35fe124
commit 36b6135012
1 changed files with 0 additions and 2 deletions
--- a/2
+++ b/2
@@ -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']) {