1 files changed, 7 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 79d1f2c..793b810 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -73,4 +73,11 @@ pipeline {
             }
         }
     }
+
+    post {
+        always {
+            echo 'One way or another, I have finished'
+            deleteDir()
+        }
+    }
 }
 \ No newline at end of file