From 1b35fc7ab6b4a4e6bbe683e3d33080486a3b5631 Mon Sep 17 00:00:00 2001
From: Robert Jacob <xperimental@solidproject.de>
Date: Sat, 8 Jul 2017 20:39:32 +0200
Subject: [PATCH] Do not delete workspace.

---
 Jenkinsfile | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 076f435..e3f939f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -60,9 +60,4 @@ pipeline {
       }
     }
   }
-  post {
-    failure {
-      deleteDir()
-    }
-  }
 }