Integrated: 1706: Store github checks in PR unique way

[Zhao Song]

On Thu, 9 Feb 2023 19:13:37 GMT, Zhao Song <zsong at openjdk.org> wrote:

> Currently, checks in GitHub are stored in the commit. So if multiple PRs share the same source commit, then they will compete with the check-runs and store their different checksum in there. This in turn means that all, or most of those PRs will always think the check is outdated when a CheckRun is performed next.
>  
> This patch adds repository name and pull request id to the name of check in Github. Therefore, even if multiple PRs share the same source commit, every PR will store a unique check in the commit and there is no competition exists.

This pull request has now been integrated.

Changeset: 6b2d04a8
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/6b2d04a876eade36803b4a47c0b70206139f11d0
Stats:     9 lines in 3 files changed: 5 ins; 0 del; 4 mod

1706: Store github checks in PR unique way

Reviewed-by: erikj, gli

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

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