mirror of
https://github.com/godotengine/godot.git
synced 2024-11-24 21:22:48 +00:00
CI: Compat checks: Make fetching the reference API more robust
This commit is contained in:
parent
e7208420bc
commit
e36bd595fa
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user