diff --git a/.gitea/workflows/release.yml b/.gitea/workflows/release.yml index a0e7e59..245033e 100644 --- a/.gitea/workflows/release.yml +++ b/.gitea/workflows/release.yml @@ -49,7 +49,12 @@ jobs: unzip -q /tmp/cmdtools.zip -d "$SDK/cmdline-tools" mv "$SDK/cmdline-tools/cmdline-tools" "$SDK/cmdline-tools/latest" export PATH="$SDK/cmdline-tools/latest/bin:$PATH" - yes | sdkmanager --licenses > /dev/null + # NB: `yes` dies with SIGPIPE (141) once sdkmanager quits — not a + # failure under `pipefail`, so neutralize only that code. A real + # license/install problem still fails loudly below. + set +o pipefail + yes | sdkmanager --licenses > /dev/null || true + set -o pipefail sdkmanager "platform-tools" "platforms;android-36" "build-tools;36.0.0" echo "ANDROID_HOME=$SDK" >> "$GITHUB_ENV" echo "ANDROID_SDK_ROOT=$SDK" >> "$GITHUB_ENV"