Try closing and re-opening the pull request. It works here at work, but I'm not sure it's a general GitHub-Travis behaviour or a proprietary enhancement.
In reply to Re: [OT] Restarting Travis from a pull request
by choroba
in thread [OT] Restarting Travis from a pull request
by syphilis
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |