From b725d4730eaa6d078d1791966b4bdc8a1717b57d Mon Sep 17 00:00:00 2001
From: Codex <codex@openai.com>
Date: Sun, 9 Aug 2026 18:49:02 +0200
Subject: [PATCH] fix(ci): install Android compile SDK platform

---
 .gitea/workflows/pixel10.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitea/workflows/pixel10.yml b/.gitea/workflows/pixel10.yml
index c0ce39a5..9c0df7ea 100644
--- a/.gitea/workflows/pixel10.yml
+++ b/.gitea/workflows/pixel10.yml
@@ -81,13 +81,16 @@ jobs:
           flutter_sdk="$(dirname "$(dirname "$(command -v flutter)")")"
           git config --global --add safe.directory "$flutter_sdk"
 
-      - name: Install Android NDK
+      - name: Install Android SDK platform and NDK
         shell: bash
         run: |
           set -euo pipefail
+          android_api="$(sed -n 's/^[[:space:]]*compileSdkVersion[[:space:]]*=[[:space:]]*//p' apps/weblibre/android/build.gradle | head -n 1)"
           ndk_version="$(sed -n 's/^weblibre\.ndkVersion[[:space:]]*=[[:space:]]*//p' apps/weblibre/android/gradle.properties)"
+          test -n "$android_api"
           test -n "$ndk_version"
-          yes | sdkmanager --install "ndk;$ndk_version" || test "${PIPESTATUS[1]}" -eq 0
+          yes | sdkmanager --install "platforms;android-$android_api" "ndk;$ndk_version" || test "${PIPESTATUS[1]}" -eq 0
+          test -f "$ANDROID_HOME/platforms/android-$android_api/android.jar"
           test -f "$ANDROID_HOME/ndk/$ndk_version/source.properties"
           {
             echo "ANDROID_NDK_HOME=$ANDROID_HOME/ndk/$ndk_version"