diff --git a/Jenkinsfile b/Jenkinsfile index f02c70e47ef0b6..19dc3d4c80863c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -61,6 +61,11 @@ pipeline { } } post { + failure { + script { + sh "docker rm ${env.DOCKER_NAME} || true" + } + } always { junit "test_results*.xml" }