Reputation: 4150
Is there a way to tell travis to build a specific SHA or the HEAD of a pull request that it might have previously missed (ie if the webhook failed to fire or get picked up by travis)?
I could push a new commit to that pull request, but a method that doesn't involve changing the branch would be better, either via the travis UI, or travis' or github's APIs.
Upvotes: 16
Views: 4187
Reputation: 12174
Also found that if you own the repository, you can mark the pull-request as closed then mark it as open and you will trigger a new build.
Upvotes: 1
Reputation: 2269
What I've found works is to close the PR in GitHub, then immediately re-open it. That should re-trigger the hook.
Upvotes: 17
Reputation: 4150
There's a feature request open for this: https://github.com/travis-ci/travis-ci/issues/895 But for the time being, there's no way to do this.
Upvotes: 8