Merge pull request #867 from uhafner/errorprone

Enable error prone warnings
uhafner · Nov 30, 2023 · 8625dc5 · 8625dc5
2 parents 86fe47a + 35b42b4
commit 8625dc5
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml
@@ -25,8 +25,8 @@ jobs:
         uses: stCarolas/[email protected]
         with:
           maven-version: 3.9.5
-      - name: Generate coverage with JaCoCo
-        run: mvn -V --color always -ntp clean verify --file pom.xml '-Dgpg.skip'
+      - name: Build and test with Maven
+        run: mvn -V --color always -ntp clean verify --file pom.xml '-Dgpg.skip' | tee maven.log
       - name: Upload coverage to Codecov
         uses: codecov/[email protected]
         with:
@@ -68,6 +68,11 @@ jobs:
                     "name": "PMD",
                     "pattern": "**/target/pmd.xml"
                   },
+                  {
+                    "id": "error-prone",
+                    "name": "Error Prone",
+                    "pattern": "**/maven.log"
+                  },
                   {
                     "id": "spotbugs",
                     "name": "SpotBugs",