From 8d6923a96a6f104fc6756307d10b06c515f0edce Mon Sep 17 00:00:00 2001
From: Michael Poluektov <michael.poluektov@gmail.com>
Date: Thu, 12 Oct 2023 12:51:42 +0000
Subject: [PATCH] fix cleanup in jenkinsfile, but for real this time

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5983b2073..672aed3ba 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,7 +54,7 @@ pipeline {
                     }
                 } } }
             }
-            // post { cleanup { xcoreCleanSandbox() } }
+            post { cleanup { xcoreCleanSandbox() } }
         } 
         stage("Tests") { parallel {
             stage("Host Test") {