From d3fc18dbec7dec15c574cb6985ee8b27aaf431c8 Mon Sep 17 00:00:00 2001
From: Codex <codex@openai.com>
Date: Sun, 9 Aug 2026 18:25:36 +0200
Subject: [PATCH] fix(ci): use configured Android SDK manager

---
 .gitea/workflows/pixel10.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitea/workflows/pixel10.yml b/.gitea/workflows/pixel10.yml
index 6d4935d1..6b139553 100644
--- a/.gitea/workflows/pixel10.yml
+++ b/.gitea/workflows/pixel10.yml
@@ -80,7 +80,8 @@ jobs:
           set -euo pipefail
           ndk_version="$(sed -n 's/^weblibre\.ndkVersion[[:space:]]*=[[:space:]]*//p' apps/weblibre/android/gradle.properties)"
           test -n "$ndk_version"
-          yes | "$ANDROID_HOME/cmdline-tools/latest/bin/sdkmanager" --install "ndk;$ndk_version" || test "${PIPESTATUS[1]}" -eq 0
+          yes | sdkmanager --install "ndk;$ndk_version" || test "${PIPESTATUS[1]}" -eq 0
+          test -f "$ANDROID_HOME/ndk/$ndk_version/source.properties"
           {
             echo "ANDROID_NDK_HOME=$ANDROID_HOME/ndk/$ndk_version"
             echo "ANDROID_NDK_ROOT=$ANDROID_HOME/ndk/$ndk_version"