From f5a2c592bdc3e26dc4e8031c1b77f4217e85570f Mon Sep 17 00:00:00 2001
From: Marijn van der Werf <marijn.vanderwerf@gmail.com>
Date: Sun, 26 Mar 2023 16:24:24 +0200
Subject: [PATCH] remove post

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 17b22d53ac..6c63194f29 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,9 +110,4 @@ pipeline {
             }
         }
     }
-    post {
-        always {
-            cleanWs()
-        }
-    }
 }