Closed slonopotamus closed 6 years ago
@slonopotamus Hi. Thanks for informing us about this. Will check it in a while and fix it.
So, not running Travis for PRs is not intentional?
No. It is not. I see some of the earlier PRs did have it. Not sure what has changed.
Check an option "Build pushed pull requests" in Travis repository settings. Is it enabled? I obviously don't have access to that page.
Yeah, I think that is the problem. See Travis PR log:
Build type disabled via repository settings (pull_request).
Yeah thanks I have enabled it now.
Hmm, this doesn't work =/