OK, from https://docs.travis-ci.com/user/pull-requests/ travis really merges the branch:

Travis CI builds a pull request when it is first opened, and whenever commits are added to the pull request. Rather than build the commits that have been pushed to the branch the pull request is from, we build the merge between the source branch and the upstream branch.

I assumed it's the branch which is tested. So everything is clear then.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.