Pull requests start from a copy of your production branch that is closer to its newest commit

The ready-made machine each check starts from now moves to a production push's commit while that push's own check runs, not after it ends, so a pull request checked a few minutes later has fewer files to catch up on.