Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check tidy entirely on PR & diff on push
This addresses the issue where missing includes are not caught until being merged. For a single push, we check the diff to ensure it doesn't introduce serious tidy issues. The diff check is relatively lightweight. For a PR, we perform a thorough check on the entire program to ensure everything is fine before merging into the codebase.
- Loading branch information