Add code style violation reporting to PRs

[jjppp]

No description provided.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.78%. Comparing base (064801b) to head (e43733f).

Additional details and impacted files

@@            Coverage Diff            @@
##             master     #204   +/-   ##
=========================================
  Coverage     75.78%   75.78%           
  Complexity     4659     4659           
=========================================
  Files           481      481           
  Lines         16055    16055           
  Branches       2198     2198           
=========================================
  Hits          12167    12167           
  Misses         3020     3020           
  Partials        868      868           

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[jjppp]

Seems write permission to PR review comments is required for reviewdog, according to the log:

/home/runner/work/Tai-e/Tai-e/src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java:118:13: warning: 'if' construct must use '{}'s. (com.puppycrawl.tools.checkstyle.checks.blocks.NeedBracesCheck)
time=2025-09-05T16:25:00.646Z level=INFO msg="reviewdog: failed to post a review comment: POST https://api.github.com/repos/pascal-lab/Tai-e/pulls/204/reviews: 403 Resource not accessible by integration []"
reviewdog: This GitHub Token doesn't have write permission of Review API [1],
so reviewdog will report results via logging command [2] and create annotations similar to
github-pr-check reporter as a fallback.
[1]: https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request_target
[2]: https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions
reviewdog: found at least one issue with severity greater than or equal to the given level: any

[jjppp]

A working example on my own repo: