Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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?
- Loading branch information