CI: Don't run the tests with coverage control for pull requests