Travis on github PR ran code from the wrong PR

I pushed some commits to a PR However, the Travis jobs actually ran a commit from PR 449 (which was then still open).

Here’s a link to one of the jobs

Checking the log file for that job says

  • branch refs/pull/449/merge -> FETCH_HEAD

which clearly should have been:

  • branch refs/pull/44/merge -> FETCH_HEAD

This looks like a Travis bug?

A post was merged into an existing topic: Build checks out wrong Pull Request: #79 instead of #7?