If you are an Arrow committer you can restart builds in the Travis CI UI, but otherwise the method that Antoine indicated is the best option for non-committers
On Thu, Apr 25, 2019 at 4:51 AM Antoine Pitrou <anto...@python.org> wrote: > > > Hi, > > I often do a force-push of identical contents, with a different > changeset id: > > $ git commit -a --amend && git push --force > > Regards > > Antoine. > > > Le 25/04/2019 à 11:39, Yurui Zhou a écrit : > > Hey guys: > > > > When submitting PR to master, I often run into Travis CI build failures > > that are unrelated to my changes. I usually close and reopen the PR to > > re-trigger the build. Just wondering is there any other way (like a button) > > that allow me to re-trigger the falling builds without closing and > > reopening my PR? > > > > Thanks > > Yurui > >
