diff --git a/Jenkinsfile b/Jenkinsfile
index 6a343e9476..f06ed427ba 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,4 +19,5 @@ wrappedNode(label: 'linux && x86_64') {
   sh "docker run --rm --volumes-from docs-${JOB_BASE_NAME}-${BUILD_NUMBER} -v `pwd`:/docs tests:${JOB_BASE_NAME}-${BUILD_NUMBER}"
   sh "docker rm -fv docs-${JOB_BASE_NAME}-${BUILD_NUMBER}"
   sh "docker rmi docs:${JOB_BASE_NAME}-${BUILD_NUMBER} tests:${JOB_BASE_NAME}-${BUILD_NUMBER}"
-}
\ No newline at end of file
+  deleteDir()
+}