diff --git a/Jenkinsfile b/Jenkinsfile index d545f2058..9fdd5595e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,6 +93,8 @@ pipeline { } steps { sh 'docker pull $IMAGE:$GIT_BRANCH' + sh 'docker ps -a' + sh 'docker stop $GIT_BRANCH' sh 'docker run --name $GIT_BRANCH $IMAGE:$GIT_BRANCH' } post {