From 09876ae82b85cb57d99302a8830127cd79110de3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= <jakub@status.im>
Date: Wed, 30 Jun 2021 16:01:58 +0200
Subject: [PATCH] ci: cleanup workspaces after every build to save space
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jakub Sokołowski <jakub@status.im>
---
 ci/Jenkinsfile.prs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs
index 59b92e679..c56cd929e 100644
--- a/ci/Jenkinsfile.prs
+++ b/ci/Jenkinsfile.prs
@@ -75,6 +75,7 @@ pipeline {
   post {
     success { script { github.notifyPR(true) } }
     failure { script { github.notifyPR(false) } }
+    always { cleanWs() }
   } // post
 } // pipeline