Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: avoid clang-tidy-diff; use xargs -n run-clang-tidy instead (Jeffe…
…rsonLab#21) Changed the github workflow to use "xargs -n run-clang-tidy" instead of "clang-tidy-diff".
- Loading branch information