diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile index 12481eae12..9a05a714b7 100644 --- a/ci/jenkins/Jenkinsfile +++ b/ci/jenkins/Jenkinsfile @@ -107,6 +107,12 @@ pipeline { } } } + + post { + cleanup { + deleteDir() /* clean up our workspace */ + } + } } stage('Publish docker images') { @@ -129,6 +135,12 @@ pipeline { } } } + + post { + cleanup { + deleteDir() /* clean up our workspace */ + } + } } stage('Deploy to Development') { @@ -182,6 +194,7 @@ pipeline { } } } + post { unsuccessful { container('milvus-test-env') { @@ -190,6 +203,9 @@ pipeline { } } } + cleanup { + deleteDir() /* clean up our workspace */ + } } } }