Adapt CI pipeline to add android lint comments/checks

.github/workflows/push.yml

@@ -11,12 +11,19 @@ jobs:
     name: Build
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: set up JDK 17
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           java-version: '17'
           distribution: 'temurin'
           cache: gradle
       - name: Build with Gradle
         run: chmod +x gradlew && ./gradlew build
+
+      # Explained at https://medium.com/bumble-tech/android-lint-and-detekt-warnings-in-github-pull-requests-2880df5d32af
+      - uses: github/codeql-action/upload-sarif@v2
+        if: success() || failure()
+        with:
+          sarif_file: app/build/reports/lint-results-debug.sarif
+          category: lint

app/build.gradle.kts

@@ -54,6 +54,9 @@ android {
         // Disables dependency metadata when building Android App Bundles.
         includeInBundle = false
     }
+    lint {
+        sarifReport = true
+    }
 }
 
 dependencies {