diff --git a/Jenkinsfile b/Jenkinsfile
index 169ae1a..089d3b3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,13 +20,6 @@ pipeline {
     }
 
     stages {
-
-        stage('Cleanup') {
-            steps {
-                sh "rm -rf *.json"
-            }
-        }
-
         stage('R6RS tests') {
             steps {
                 script {