From de7b27bd71b165d825d7614c256395f43d0be459 Mon Sep 17 00:00:00 2001 From: jared Date: Mon, 30 Jun 2025 07:17:53 +0200 Subject: [PATCH] Jenkinsfile aktualisiert Added additional Infos in pull request --- Jenkinsfile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 5b408ff..ede5ffb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,6 +12,11 @@ pipeline { TOKEN = credentials('c661e484bb4f032f8a0a5b02cda6f3344ca584b5') } + parameters { + string(name: 'REPO_NAME', defaultValue: '', description: 'Repo Name') + string(name: 'GIT_REF', defaultValue: '', description: 'Git Ref') + } + options { buildDiscarder( BuildHistoryManager([