From 2435a5489b9ada749cbbc922aa8366c04177b25e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Thu, 7 May 2020 17:43:17 +0200
Subject: [PATCH] trying custom workspace folder

---
 Jenkins/BETA-phabricator-windows/Jenkinsfile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Jenkins/BETA-phabricator-windows/Jenkinsfile b/Jenkins/BETA-phabricator-windows/Jenkinsfile
index 64fa3ba..f632124 100644
--- a/Jenkins/BETA-phabricator-windows/Jenkinsfile
+++ b/Jenkins/BETA-phabricator-windows/Jenkinsfile
@@ -15,7 +15,13 @@
 def success = true
 
 pipeline {
-    agent { label 'windows' }
+    agent {
+      node {
+        label 'windows'
+        // use custom workspace folder to shorten paths
+        customWorkspace "C:\\ws\\beta"
+      }
+    }
     parameters {
         string(name: 'DIFF_ID')
         string(name: 'PHID')