From 765d4bf60f64de951e365c4dd1ac590f6205d710 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Mon, 29 Nov 2021 07:47:05 +0100
Subject: [PATCH] Fix Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e59b209..37e9a32 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,5 +11,6 @@ pipeline {
                      sh 'bash run_tests.sh'
                   }
             }
-    }
+       }
+   }
 }
\ No newline at end of file