github-pull-request-make

Documentation

Overview

This utility detects new tests added in a given pull request, and runs them under stress in our CI infrastructure.

Note that this program will directly exec `make`, so there is no need to process its output. See build/teamcity- test{,race}.sh for usage examples.

Note that our CI infrastructure has no notion of "pull requests", forcing the approach taken here be quite brute-force with respect to its use of the GitHub API.