diff --git a/Jenkinsfile b/Jenkinsfile
index dbb3347009..84f3f499ce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -65,6 +65,7 @@ pipeline {
                     }
                 }
 
+                // This shouldn't be needed, but just in case
                 cleanWs disableDeferredWipeout: true, deleteDirs: true
             }
         }
@@ -104,5 +105,10 @@ pipeline {
             }
         }
     }
+    post {
+        always {
+            cleanWs disableDeferredWipeout: true, deleteDirs: true
+        }
+    }
 }