fix cleanup in jenkinsfile, but for real this time

xmos · Oct 12, 2023 · 8d6923a · 8d6923a
1 parent ae94e33
commit 8d6923a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -54,7 +54,7 @@ pipeline {
                     }
                 } } }
             }
-            // post { cleanup { xcoreCleanSandbox() } }
+            post { cleanup { xcoreCleanSandbox() } }
         } 
         stage("Tests") { parallel {
             stage("Host Test") {