Restart Travis for other developers PRs?


If I see a PR where Travis has failed and I think that the failure is not related to the PR itself, should I restart it or let the author of the PR restart it?

One example is PR #8850 where Travis Headless has failed due to LoadAndStoreTest. Should I restart that PR and leave a note about why in the PR, or wait and let the author restart it?


Join to automatically receive all group messages.