From d6fdcc0b022f00ffc84f82c02b65c7d5162273bb Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Tue, 19 Sep 2023 21:20:24 +0200
Subject: [PATCH] this should really work..

---
 automation/Jenkinsfile | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 6d6b053..6234acc 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -1,11 +1,11 @@
 pipeline {
-  //agent {
-    //dockerfile {
-      //dir 'automation'
-      //reuseNode true
-    //}
-  //}
-  agent any
+  agent {
+    dockerfile {
+      dir 'automation'
+      reuseNode true
+    }
+  }
+  // agent any
   stages {
     stage('Deployment') {
       when {