[Build] Fix name of stage in marking job

HannesWell · HannesWell · commit b770afd57269 · 2025-01-20T18:37:43.000+01:00
diff --git a/JenkinsJobs/Builds/markBuild.groovy b/JenkinsJobs/Builds/markBuild.groovy
@@ -21,7 +21,7 @@ pipeline {
 		label 'basic'
 	}
 	stages {
-		stage('Update index'){
+		stage('Mark ''' + marker + ''''){
 			steps { // workspace is not always cleaned by default. Clean before custom tools are installed into workspace.
 				sshagent(['projects-storage.eclipse.org-bot-ssh']) {
 					sh \'''#!/bin/bash -xe

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ pipeline {`
`21`	`21`	`label 'basic'`
`22`	`22`	`}`
`23`	`23`	`stages {`
`24`		`- stage('Update index'){`
	`24`	`+ stage('Mark ''' + marker + ''''){`
`25`	`25`	`steps { // workspace is not always cleaned by default. Clean before custom tools are installed into workspace.`
`26`	`26`	`sshagent(['projects-storage.eclipse.org-bot-ssh']) {`
`27`	`27`	`sh \'''#!/bin/bash -xe`