From c7f1c3ba213e8544fcb5169854056aaa1fc02b79 Mon Sep 17 00:00:00 2001 From: quicksilver Date: Wed, 18 Dec 2019 15:54:13 +0800 Subject: [PATCH] update ci/jenkins/Jenkinsfile --- ci/jenkins/Jenkinsfile | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile index 12481eae..9a05a714 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 */ + } } } } -- GitLab