From 08604bebee79cde6f3f5f53f70288eccdd8805ed Mon Sep 17 00:00:00 2001
From: richardg867 <richardg867@gmail.com>
Date: Fri, 11 Mar 2022 14:57:04 -0300
Subject: [PATCH] Jenkins: Attempt to fix git clone

---
 .ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index 00532dc58..e20b0d363 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -178,7 +178,7 @@ pipeline {
 
 					/* Adding to the above, run a git clone as soon as possible on any node
 					   to further avoid race conditions caused by busy node executor delays. */
-					node {
+					node('!Windows') {
 						/* Run git clone. */
 						gitClone(repository, branch)