update Jenkins CI

ci/jenkins/Jenkinsfile

@@ -107,12 +107,6 @@ pipeline {
                                         }
                                     }
                                 }
-
-                                post {
-                                    cleanup {
-                                        deleteDir() /* clean up our workspace */
-                                    }
-                                }
                             }
 
                             stage('Publish docker images') {
@@ -135,12 +129,6 @@ pipeline {
                                         }
                                     }
                                 }
-
-                                post {
-                                    cleanup {
-                                        deleteDir() /* clean up our workspace */
-                                    }
-                                }
                             }
 
                             stage('Deploy to Development') {
@@ -192,7 +180,6 @@ pipeline {
                                                 load "${env.WORKSPACE}/ci/jenkins/step/cleanupSingleDev.groovy"
                                             }
                                         }
-                                        deleteDir() /* clean up our workspace */
                                     }
                                 }
                             }