Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #5163 - flip1995:gha_fix, r=flip1995
Change badge branch from master to auto For some reason GHA classifies the bors merges on the master branch as a push to the auto branch, even though the workflow got triggered by a push to the master branch. I guess this has something to do with the same commit hash on master+auto directly after the merge? changelog: none
- Loading branch information