chore: migrate to hosted scalable CI (#3620)

2026-10-27 06:18:50 +01:00 · 2026-10-03 15:41:27 +02:00
parent 8661681110
commit 77e4b946eb
23 changed files with 1309 additions and 237 deletions
@@ -7,6 +7,10 @@ permissions:
  contents: read
  packages: write

+concurrency:
+  group: android-${{ github.event.pull_request.number }}
+  cancel-in-progress: true
+
 jobs:
  # -----------------------------------------
  # PATH A: Internal PRs