infra: enable Checker in CI

checkstyle · Oct 22, 2022 · f249e37 · f249e37
1 parent 423c0a7
commit f249e37
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/checker-framework.yml b/.github/workflows/checker-framework.yml
@@ -37,14 +37,14 @@ jobs:
       - name: Execute checker framework
         env:
           MAVEN_OPTS: "-Xmx4g"
-        run: groovy ./.ci/checker-framework.groovy ${{ matrix.profile }} || true
+        run: groovy ./.ci/checker-framework.groovy ${{ matrix.profile }}
 
       - name: Git Diff on fail
-        # if: failure()
+        if: failure()
         run: git diff && git diff > target/${{ matrix.profile }}.patch
 
       - name: Share patch as artifact to apply on local
-        # if: failure()
+        if: failure()
         uses: actions/upload-artifact@v2
         with:
           name: ${{ matrix.profile }}-patch