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
+}