Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Unify CI and pre-commit hook settings for clippy (#11640)
pre-commit hook runs clippy and CI scripts run clippy too. The commands are and should be the same. Let's define them once.
- Loading branch information