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.
Sam
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
> seemingly due to unrelated, per
On Wed, Mar 28, 2018 at 11:32 AM Kieron Hardy
wrote:
> Hi all,
>
> 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
> t
Hi all,
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).
O
3 matches
Mail list logo