Runs on "master" branch appear as "develop" if commit SHA is the same

For updating my “master” branch, I use “git rebase develop”.
The consequence is that the two branches have exactly the same log and commit SHAs.

When the “master” branch is pushed to GitHub, the Actions run… and the build incorrectly appears as it was run on the “develop” branch.

GitHub Actions.png

This behavior looks wrong to me: on other CI systems, the runs display the right Git branches, even if they use the same commit SHA. For example, on Travis CI :


We’re finding that even a merge from one branch to another yields two builds for the “source” branch.