The real solution is we need to use our CI, Hydra, to build all PRs.

Now Travis doing this is interesting because last time people looked there was no hosting for OS X that wasn't ridiculously expensive, so we've literally had people donate Mac Minis.