From 4df6d989881d6b00944fbcbe6141f6426dc04e40 Mon Sep 17 00:00:00 2001
From: krzys-h <krzys_h@interia.pl>
Date: Sun, 21 May 2017 20:41:01 +0200
Subject: [PATCH] Jenkinsfile: Automatically clean workspace after building
 pull requests

---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 41637e2b..1d8028dc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,4 +22,10 @@ node('master') {
         sh 'rm -f data.zip'
         zip zipFile: 'data.zip', archive: true, dir: 'build/install'
     }
+    
+    // Clean workspace after building pull requests
+    // to save disk space on the Jenkins host
+    if (env.BRANCH_NAME.startsWith('PR-')) {
+        cleanWs()
+    }
 }