Clean workspace at the end of the Jenkins pipeline (#73)

rubrikinc · May 16, 2023 · e1041d8 · e1041d8
1 parent e191f76
commit e1041d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -112,5 +112,8 @@ pipeline {
                 }
             }
         }
+        cleanup {
+            cleanWs()
+        }
     }
 }