check-pr

When you submit a PR (or push a change to a branch that already has a PR), wait for CI checks to perform, and process them.