RFR: 2509: Don't display duplicate jcheck warnings when the checks are displayed in Progress [v3]

[Zhao Song]

> In the pull request body, we have a 'Progress' part which will display the progresses of some jchecks, however, if the jchecks in the progress fail as warning, it will also be displayed in 'Warning' part. It will confuse the users.
> 
> The other issue is that, right now, if whitespace check failed as warning, then users are not able to know where are the whitespace issues.

Zhao Song has updated the pull request incrementally with one additional commit since the last revision:

  Update bots/pr/src/main/java/org/openjdk/skara/bots/pr/PullRequestCheckIssueVisitor.java
  
  Co-authored-by: Erik Joelsson <37597443+erikj79 at users.noreply.github.com>

-------------

Changes:
  - all: https://git.openjdk.org/skara/pull/1719/files
  - new: https://git.openjdk.org/skara/pull/1719/files/e98a6acd..e2fadebe

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1719&range=02
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1719&range=01-02

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/skara/pull/1719.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1719/head:pull/1719

PR: https://git.openjdk.org/skara/pull/1719