Auto merge of #2832 - tiann:ndk, r=JohnTitor

Update android ndk version to latest LTS(r23c)

The latest LTS ndk version: https://developer.android.com/ndk/downloads

And the latest stable API version of Android is Android 12 (api=31)

ci/android-install-ndk.sh

@@ -2,30 +2,30 @@
 
 set -ex
 
-NDK=android-ndk-r21d
-wget --tries=20 -q https://dl.google.com/android/repository/${NDK}-linux-x86_64.zip
-unzip -q ${NDK}-linux-x86_64.zip
+NDK=android-ndk-r23c
+wget --tries=20 -q https://dl.google.com/android/repository/${NDK}-linux.zip
+unzip -q ${NDK}-linux.zip
 
 case "$1" in
   arm)
     arch=arm
-    api=28
+    api=31
     ;;
   armv7)
     arch=arm
-    api=28
+    api=31
     ;;
   aarch64)
     arch=arm64
-    api=28
+    api=31
     ;;
   i686)
     arch=x86
-    api=28
+    api=31
     ;;
   x86_64)
     arch=x86_64
-    api=28
+    api=31
     ;;
   *)
     echo "invalid arch: $1"