Testing building pull requests before merge with Jenkins