Travis on github PR ran code from the wrong PR

I pushed some commits to a PR https://github.com/UCL/STIR/pull/44. However, the Travis jobs actually ran a commit from PR 449 https://github.com/UCL/STIR/pull/449 (which was then still open).

Here’s a link to one of the jobs https://travis-ci.org/UCL/STIR/jobs/657085845?utm_medium=notification&utm_source=github_status

Checking the log file for that job https://travis-ci.org/UCL/STIR/jobs/657290596#L1071 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?