From d85a684333d580084a851e8c8bc774055a7683f9 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Thu, 21 Sep 2023 19:40:53 +0200
Subject: [PATCH] need those semi-colons

---
 automation/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 2cb8164..230dbba 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -58,8 +58,8 @@ pipeline {
     stage('Deploy satrs-book') {
       when {
         anyOf {
-          branch 'main'
-          branch pattern: "mdbook-deployment*"
+          branch 'main';
+          branch pattern: 'mdbook-deployment*'
         }
       }
       steps {