From 04bfb3d93e73dc2af4409799716525b37379385b Mon Sep 17 00:00:00 2001 From: Rob Bradford Date: Fri, 25 Feb 2022 11:11:30 +0000 Subject: [PATCH] Jenkinsfile: Fix whitespace issues Signed-off-by: Rob Bradford --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 6219080ef..1384d5802 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -41,7 +41,7 @@ pipeline{ } } stage ('Build') { - parallel { + parallel { stage ('Worker build') { agent { node { label 'hirsute' } } when { @@ -393,4 +393,4 @@ def boolean docsFileOnly() { returnStatus: true, script: "git diff --name-only origin/${env.CHANGE_TARGET}... | grep -v '\\.md'" ) != 0 -} \ No newline at end of file +}