RFR: 1706: Store github checks in PR unique way [v2]

[Zhao Song]

On Fri, 10 Feb 2023 21:07:39 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> > After testing, I realized that just filtering is insufficient for GitHub as checks in pull requests are same as checks in source commits(There is no need to copy). To display only relevant checks, we may need to store checks separately under the source commit.
> 
> Are you saying that the testinfo bot isn't needed?

Sorry, what I said is confusing. What I should say is that, jcheck is not triggered by the workflow, it is triggered by Checkrun. So it is not stored in the our own fork and then be copied to the pr.

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

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