Re: [racket-users] Resubmitting PRs after build problems

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 >

[racket-users] Resubmitting PRs after build problems

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).