Increase retries of Android downloads

Author: gnzlbg

ci/android-install-ndk.sh

@@ -12,7 +12,7 @@
 set -ex
 
 NDK=android-ndk-r19c
-curl --retry 10 -O https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip
+curl --retry 20 -O https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip
 unzip -q ${NDK}-linux-x86_64.zip
 
 case "$1" in

ci/android-install-sdk.sh

@@ -20,7 +20,7 @@ set -ex
 
 SDK=4333796
 mkdir sdk
-curl --retry 10 https://dl.google.com/android/repository/sdk-tools-linux-${SDK}.zip -O
+curl --retry 20 https://dl.google.com/android/repository/sdk-tools-linux-${SDK}.zip -O
 unzip -q -d sdk sdk-tools-linux-${SDK}.zip
 
 case "$1" in