diff options
| author | RedworkDE <10944644+RedworkDE@users.noreply.github.com> | 2023-09-05 14:09:52 +0200 |
|---|---|---|
| committer | RedworkDE <10944644+RedworkDE@users.noreply.github.com> | 2023-09-05 15:27:44 +0200 |
| commit | e36bd595fa2f861ddc4766c5e2cf72aecd6d9a49 (patch) | |
| tree | b8e07572eaccd8a5c3465c3021f93fb18d506864 /misc/scripts | |
| parent | e7208420bc45dc873bf2eeb0b34d758b7755aa3e (diff) | |
| download | redot-engine-e36bd595fa2f861ddc4766c5e2cf72aecd6d9a49.tar.gz | |
CI: Compat checks: Make fetching the reference API more robust
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x | misc/scripts/validate_extension_api.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/scripts/validate_extension_api.sh b/misc/scripts/validate_extension_api.sh index 75f03a7086..cde7a8574d 100755 --- a/misc/scripts/validate_extension_api.sh +++ b/misc/scripts/validate_extension_api.sh @@ -58,7 +58,7 @@ while read -r file; do get_expected_output "$file" # Download the reference extension_api.json - wget -qcO "$reference_file" "https://raw.githubusercontent.com/godotengine/godot-cpp/godot-$reference_tag/gdextension/extension_api.json" + wget -nv --retry-on-http-error=503 --tries=5 --timeout=60 -cO "$reference_file" "https://raw.githubusercontent.com/godotengine/godot-cpp/godot-$reference_tag/gdextension/extension_api.json" || has_problems=1 # Validate the current API against the reference "$1" --headless --validate-extension-api "$reference_file" 2>&1 | tee "$validate" | awk '!/^Validate extension JSON:/' - || true # Collect the expected and actual validation errors |