From 846b56831f2cddb5c3bd471920b2bd6a98bfede0 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Tue, 29 Sep 2020 22:14:54 -0700
Subject: [PATCH] jenkins: clean workspace (#2248)

---
 Jenkinsfile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index eb16835ce5..b2d3939ffe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -140,6 +140,13 @@ pipeline {
               }
             }
           }
+
+          post {
+            always {
+              cleanWs()
+            }
+          }
+
         }
 
       }