fix android ci job (sdkmanager installation)

android/ci/install-sdk.sh

@@ -35,7 +35,13 @@ fi
 export PATH="$SDK_ROOT/cmdline-tools/latest/bin:$PATH"
 
 echo "==> licences"
+# `yes` writes forever; once sdkmanager has read every licence it exits and
+# `yes` dies of SIGPIPE. With `pipefail` that becomes exit 141 and fails the
+# job, so the pipeline is judged on sdkmanager's status alone. Real failures
+# (no network, bad SDK root) still fail it.
+set +o pipefail
 yes | sdkmanager --sdk_root="$SDK_ROOT" --licenses >/dev/null
+set -o pipefail
 
 echo "==> platform-tools, platforms;android-${COMPILE_SDK}.0, build-tools;${BUILD_TOOLS}"
 sdkmanager --sdk_root="$SDK_ROOT" \