From 8d80af3a264596ad6f05a16c2622e1fffd699e52 Mon Sep 17 00:00:00 2001
From: Jamie Curnow <jc@jc21.com>
Date: Sat, 11 May 2024 00:15:44 +1000
Subject: [PATCH] Fix CI

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fcc64b28..d0c95d8b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -184,7 +184,7 @@ pipeline {
 				stage('Docs Job') {
 					when {
 						allOf {
-							when { branch pattern: "^(develop|master)\$", comparator: "REGEXP"}
+							branch pattern: "^(develop|master)\$", comparator: "REGEXP"
 							not {
 								equals expected: 'UNSTABLE', actual: currentBuild.result
 							}