Jenkins: Attempt to fix git clone

2026-02-22 09:35:32 -07:00 · 2022-03-11 14:57:04 -03:00
parent f725c3fb56
commit 08604bebee
1 changed files with 1 additions and 1 deletions
--- 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)