Jenkins: Expand nodes which can perform the initial clone

2022-07-15 15:36:00 -03:00
parent 7c0de9a23a
commit 3b2b0b984a
1 changed files with 1 additions and 1 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -194,7 +194,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 && !Windows') {
+						node('!Windows') {
 							/* Run git clone. */
 							gitClone(repository[buildBranch], branch[buildBranch])