CI: Add stage to push to local git repository

2026-04-03 08:48:32 +02:00
parent e0d9edeeee
commit febbadf83a
1 changed files with 17 additions and 0 deletions
@@ -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} }