diff --git a/Jenkinsfile b/Jenkinsfile index bf0930c30..3e4b57efc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,3 @@ - pipeline { agent any @@ -126,6 +125,7 @@ pipeline { } post { always { + sh 'docker logout' cleanWs() } }