Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes #2550 There were some concerns about how long things take to run, so we'll evaluate that and maybe revert this change if it slows down PRs. Alternatively, we could implement #2342 and make better use of draft PRs.
- Loading branch information