github: Enable github workflow output from checkstyle9.pl

Let's see if we can get the style issues flagged inline. Sponsored by: Netflix
bsdjhb · Feb 2, 2024 · 33326dd · 33326dd
1 parent 0949b23
commit 33326dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
@@ -31,4 +31,4 @@ jobs:
       - name: Run checker
         run: |
           sha=$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
-          tools/build/checkstyle9.pl ${sha}..${{ github.event.pull_request.head.sha }}
+          tools/build/checkstyle9.pl --github ${sha}..${{ github.event.pull_request.head.sha }}