in reply to [OT] Restarting Travis from a pull request
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.
|
|---|
| Replies are listed 'Best First'. | |
|---|---|
|
Re^2: [OT] Restarting Travis from a pull request
by syphilis (Archbishop) on Feb 07, 2020 at 12:32 UTC |