Use API 25 since API 26 does not contain any arm64-v8a system images

Author: gnzlbg

ci/android-install-ndk.sh

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

ci/android-install-sdk.sh

@@ -19,7 +19,7 @@ set -ex
 # which apparently magically accepts the licenses.
 
 SDK=4333796
-API=26
+API=25
 mkdir sdk
 curl --retry 10 https://dl.google.com/android/repository/sdk-tools-linux-${SDK}.zip -O
 unzip -d sdk sdk-tools-linux-${SDK}.zip
@@ -63,9 +63,9 @@ yes | ./sdk/tools/bin/sdkmanager --no_https \
         "emulator" \
         "platform-tools" \
         "platforms;android-${API}" \
-        "system-images;android-${API};default;$abi"
+        "system-images;android-${API};$abi"
 
 echo "no" |
     ./sdk/tools/bin/avdmanager create avd \
         --name "${1}" \
-        --package "system-images;android-${API};default;$abi"
+        --package "system-images;android-${API};$abi"