diff --git a/Jenkinsfile b/Jenkinsfile
index 1fd3ede..fba5b8a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,11 +5,6 @@ pipeline {
         buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
     }
     stages {
-        stage("Clean docker cache") {
-            steps {
-                sh 'docker system prune -a -f'
-            }
-        }
         stage("Build") {
             agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=sagittarius' } }
             steps {