These targets are run twice, once for the pull_request trigger, once for the push trigger. We probably only have to do this once.

Example #8954