Custom name for "Status checks name" based on pull or push

[krishgcek]

Jenkins and plugins versions report

currently , there is no difference for "Status checks name". The default "Jenkins" name is used for both push and pull. But in our case the stage that are run for push and pull are different. it will be great if the status name is appended with _push or _pull based on event.

What Operating System are you using (both controller, and any agents involved in the problem)?

jenkins server is a docker container with pipeline running on different nodes

Reproduction steps

run both branch job and pull request job. Result of the checks api will overlap

Expected Results

Both branch and pull request has different entry

Actual Results

both results overlap. sometimes only branch result is published as in progress even after completion

Anything else?

No response

Are you interested in contributing a fix?

No response

[timja]

What do you mean pull? its not an event.

Do you mean manually triggered vs triggered by SCM change?

[krishgcek]

I was talking about GitHub commit(push) and changes in a pull request. When the branch has pull request, the name should be Jenkins_pull and for commit or push it should be Jenkins_push

[jemand771]

this is especially relevant for people using the github branch source plugin. there, you can pick which types of "sources" from a repo you want to build:

• branches
• PR heads (which are, to be fair, just branches)
• simulated merge commits, i.e. what the target branch's head would look like after the PR is merged. also see Updating status checks on merge of PR instead of head #333

if you enable all three of these, the three different jobs will "fight" for the Jenkins github check.

#318 could provide a workaround, but this should really just be automatic