From febbadf83af0a47b602288129f6686799d162367 Mon Sep 17 00:00:00 2001 From: Jaroslava Fiedlerova Date: Fri, 27 Mar 2026 10:18:13 +0100 Subject: [PATCH] CI: Add stage to push to local git repository --- ci-scripts/Jenkinsfile-GitLab-Container | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/ci-scripts/Jenkinsfile-GitLab-Container b/ci-scripts/Jenkinsfile-GitLab-Container index 412073b189..cff11aaece 100644 --- a/ci-scripts/Jenkinsfile-GitLab-Container +++ b/ci-scripts/Jenkinsfile-GitLab-Container @@ -112,6 +112,23 @@ pipeline { } } } + stage ("Local-Repo-Push") { + steps { + script { + catchError(buildResult: 'FAILURE', stageResult: 'FAILURE') { + triggerSlaveJob ('RAN-Local-Repo-Push', 'Local-Repo-Push') + } + } + } + post { + failure { + script { + echo "Push to local repository KO" + failingStages += '\n * RAN-Local-Repo-Push' + } + } + } + } // Build Stages are Mandatory stage ("Image Building Processes") { when { expression {doBuild} }