If you make another commit to that PR, then it will rebuild. I'm not sure
how to do that from the web interface though.
On Wed, Mar 28, 2018, 11:32 AM Kieron Hardy wrote:
> Hi all,
> I have noticed that some recent PRs have failed the Travis CI build step
I have noticed that some recent PRs have failed the Travis CI build step
seemingly due to unrelated, perhaps infrastructure-y, problems. e.g. The PR
I submitted, via a Github edit that fixes a typo in a comment, failed the
tests on one target with a tcp-connect timeout error (errno=60).
Mail list logo