And that's exactly why you build locally first. I build locally before creating pull requests even when the only changes I made were in ddoc comments. As unlikely as it may be, there's always the possibility that I screwed up and broke the build. Even changes that are supposed to be a sure thing don't work sometimes.