Introduce property for Jenkins user and Artifactory server details.

Closes #1455
2023-11-27 09:39:54 +01:00
parent b0d105378e
commit aea2d7bd9e
2 changed files with 14 additions and 6 deletions
--- a/ci/pipeline.properties
+++ b/ci/pipeline.properties
@@ -25,3 +25,6 @@ docker.java.inside.docker=-u root -v /var/run/docker.sock:/var/run/docker.sock -
 docker.registry=
 docker.credentials=hub.docker.com-springbuildmaster
 artifactory.credentials=02bd1690-b54f-4c9f-819d-a77cb7a9822c
+artifactory.url=https://repo.spring.io
+artifactory.repository.snapshot=libs-snapshot-local
+jenkins.user.name=spring-builds+jenkins