diff --git a/Jenkinsfile b/Jenkinsfile index a868c5c..0b26d7e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,8 +56,12 @@ pipeline { post { always { + script { + if (env.VERSION ==~ /^\d+\.\d+\.\d+\.\d+$/) { + sh "docker rmi pfsdn:${env.VERSION} || true" + } + } cleanWs() - sh "docker rmi pfsdn:${env.VERSION}" } } }