Automated build server for GitHub pull requests