diff --git a/Jenkinsfile b/Jenkinsfile
index b2bdd2d..1d62fa5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,6 +21,13 @@ pipeline {
     }
 
     stages {
+
+        stage('Cleanup') {
+            steps {
+                sh "rm -rf *.json"
+            }
+        }
+
         stage('R6RS tests') {
             steps {
                 script {