From 6e9432fa82318389724844e450437500d19eb4ac Mon Sep 17 00:00:00 2001
From: Steven Wroblewski <sw@steven-wroblewski.de>
Date: Tue, 12 May 2026 13:11:54 +0200
Subject: [PATCH] chore(ci): replace wget with curl in Godot download step

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e04b3c2..cfa4c81 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
                 sh '''
                     if [ ! -x "$GODOT_BIN" ]; then
                         mkdir -p /tmp/godot_ci
-                        wget -q -O /tmp/godot_ci/godot.zip \
+                        curl -fsSL -o /tmp/godot_ci/godot.zip \
                             "https://github.com/godotengine/godot/releases/download/${GODOT_VERSION}/Godot_v${GODOT_VERSION}_linux.x86_64.zip"
                         unzip -o /tmp/godot_ci/godot.zip -d /tmp/godot_ci/
                         chmod +x "$GODOT_BIN"