mirror of
https://gitee.com/milvus-io/milvus.git
synced 2025-12-31 07:55:38 +08:00
update ci/jenkins/Jenkinsfile
This commit is contained in:
parent
c045d902bb
commit
c7f1c3ba21
16
ci/jenkins/Jenkinsfile
vendored
16
ci/jenkins/Jenkinsfile
vendored
@ -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 */
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user