From afb7a2008f8267d118e34e23b1e90deb8d5e1d0f Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Thu, 29 Jul 2021 12:14:37 +0200
Subject: [PATCH] typo in Jenkinsfile

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 8b735710..52cd895b 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
         }
         stage('Clean') {
             when {
-                anyof {
+                anyOf {
                     changelog 'cleanCI'
                     changeset '*.cmake'
                     changeset 'CMakeLists.txt'