push.yml: add an Android job

stephengold · Jan 18, 2025 · cd66e09 · cd66e09
1 parent 56505cf
commit cd66e09
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -24,6 +24,22 @@ jobs:
             -PsigningKeyEncoded='${{ secrets.SIGNING_KEY_ENCODED }}' \
             -PsigningPassword='${{ secrets.SIGNING_PASSWORD }}'
 
+  Java21-Android:
+    if: contains(toJson(github.event.commits), '[ci skip] ') == false
+    runs-on: ubuntu-22.04
+    timeout-minutes: 60
+    steps:
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'zulu'
+          java-version: 21
+      - uses: actions/checkout@v4
+      - uses: gradle/actions/setup-gradle@v4
+      - name: gradlew --build-file=android.gradle build
+        run: |
+          ./gradlew --build-file=android.gradle build \
+            --console=plain
+
   Java21-Linux:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: ubuntu-22.04