We have a report of close/reopen not triggering a PR build. In this case, try pushing a new commit (or force on top).
Posted Mar 10, 2017 - 18:27 UTC
Monitoring
We have deployed the fix for the upstream API change. As previous PR build requests are lost, please close and reopen the affected PRs to trigger builds.
Posted Mar 10, 2017 - 18:03 UTC
Identified
We have traced the missing builds issue to a change in the upstream GitHub API that introduced new PR statuses we have not previously accounted for in our GitHub API client. This caused PR requests to be dropped. We are working on a fix to account for the new statuses.