Fix CI

ZoeyVid · May 10, 2024 · 8d80af3 · 8d80af3
1 parent 1f45e6a
commit 8d80af3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 							}