This PR is intended to speed up the CI feedback for pull requests:
-
a PR opened against the current master branch:
-
this PR:
Suggested in #28173 (review):
An alternative would be to run them on non-pr pushes only. Failures should be rare enough to deal with them post-merge.