diff --git a/Jenkinsfile b/Jenkinsfile
index 7b93de4a..8676dbe1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,4 +54,10 @@ node('master') {
         }
         step([$class: 'XUnitBuilder', testTimeMargin: '3000', thresholdMode: 1, thresholds: [[$class: 'FailedThreshold', failureNewThreshold: '', failureThreshold: '', unstableNewThreshold: '', unstableThreshold: '0'], [$class: 'SkippedThreshold', failureNewThreshold: '', failureThreshold: '', unstableNewThreshold: '', unstableThreshold: '']], tools: [[$class: 'GoogleTestType', deleteOutputFiles: true, failIfNotNew: true, pattern: 'build/linux/gtestresults.xml', skipNoTestFiles: false, stopProcessingIfError: true]]])
     }
+
+    // Clean workspace after building pull requests
+    // to save disk space on the Jenkins host
+    if (env.BRANCH_NAME.startsWith('PR-')) {
+        cleanWs()
+    }
 }
diff --git a/data b/data
index b325c533..4df6d989 160000
--- a/data
+++ b/data
@@ -1 +1 @@
-Subproject commit b325c53316b0b4ac7fe69597bff69499bee0ef6a
+Subproject commit 4df6d989881d6b00944fbcbe6141f6426dc04e40