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

Fri Feb 10 22:15:22 UTC 2023

On Fri, 10 Feb 2023 22:02:07 GMT, Zhao Song <zsong at openjdk.org> wrote:

> 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.

Right, but then how did we see all the different `jcheck-<repo>-<pull>` in the "checks" tab? Is that just github showing every check related to a commit? If so, I suppose it's ok, the naming should help telling them apart.

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

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