Enable Spotless verification for Android Port and add PR comments

- Added `spotless-maven-plugin` to `maven/android/pom.xml` configured for `Ports/Android/src`.
- Updated `scripts/build-android-port.sh` to run `spotless:check` during build.
- Updated `.github/workflows/scripts-android.yml` to generate and publish quality reports (including coverage) as a PR comment.

Author: google-labs-jules[bot]

.github/workflows/scripts-android.yml

@@ -154,10 +154,33 @@ jobs:
           compression-level: 6
       - name: Upload Android Jacoco coverage report
         if: always() && matrix.id == 'default'
+        id: upload-quality-artifacts
         uses: actions/upload-artifact@v4
         with:
           name: android-jacoco-coverage
           path: artifacts/android-coverage-report
           if-no-files-found: warn
           retention-days: 14
           compression-level: 6
+      - name: Generate quality report summary
+        if: ${{ always() && matrix.id == 'default' }}
+        env:
+          QUALITY_REPORT_TARGET_DIRS: artifacts/android-coverage-report
+          QUALITY_REPORT_SERVER_URL: ${{ github.server_url }}
+          QUALITY_REPORT_REPOSITORY: ${{ github.repository }}
+          QUALITY_REPORT_REF: ${{ github.event.pull_request.head.sha || github.sha }}
+          JACOCO_REPORT_URL: ${{ steps.upload-quality-artifacts.outputs.artifact-url }}
+          QUALITY_REPORT_TITLE: "✅ Android Quality Report"
+        run: python3 .github/scripts/generate-quality-report.py
+      - name: Publish quality report comment
+        if: ${{ github.event_name == 'pull_request' && matrix.id == 'default' }}
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const { publishQualityComment } = require('./.github/scripts/publish-quality-comment.js');
+            await publishQualityComment({
+              github,
+              context,
+              core,
+              marker: '<!-- android-quality-report -->'
+            });

maven/android/pom.xml

@@ -35,6 +35,23 @@
 
     <build>
         <sourceDirectory>${src.dir}</sourceDirectory>
+        <plugins>
+            <plugin>
+                <groupId>com.diffplug.spotless</groupId>
+                <artifactId>spotless-maven-plugin</artifactId>
+                <version>2.43.0</version>
+                <configuration>
+                    <java>
+                        <includes>
+                            <include>${project.basedir}/../../Ports/Android/src/**/*.java</include>
+                        </includes>
+                        <googleJavaFormat>
+                            <version>1.17.0</version>
+                        </googleJavaFormat>
+                    </java>
+                </configuration>
+            </plugin>
+        </plugins>
     </build>
 
     <profiles>

scripts/build-android-port.sh

@@ -131,4 +131,4 @@ if [ ! -f "$BUILD_CLIENT" ]; then
   fi
 fi
 
-run_maven -q -f maven/pom.xml -pl android -am -Dcn1.binaries="$CN1_BINARIES" -P !download-cn1-binaries -T 1C -Dmaven.javadoc.skip=true -Dmaven.source.skip=true -Djava.awt.headless=true clean install "$@"
+run_maven -q -f maven/pom.xml -pl android -am -Dcn1.binaries="$CN1_BINARIES" -P !download-cn1-binaries -T 1C -Dmaven.javadoc.skip=true -Dmaven.source.skip=true -Djava.awt.headless=true clean install spotless:check "$@"