I've noticed that travis-ci is not testing PRs, i can see in a recent PR that i made that we're only using appveyor, which makes me think that we should also be using travis (the config is also there). The last build for a PR seems to be about 2 years ago. Is there any specific reason for this or is this mis-configuration?