Jenkins: Don't git clone on Windows nodes due to line ending issues

2022-03-15 23:23:47 -03:00
parent 68ad22bf09
commit 7a3ff82a63
1 changed files with 1 additions and 1 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -189,7 +189,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. */
 					retry(10) {
-						node('citadel') {
+						node('citadel && !Windows') {
 							/* Run git clone. */
 							gitClone(repository, branch)