diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-14 13:10:06 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-14 13:10:06 +0000 |
commit | 0c2f570151749d14e351f30fa234693b36bc4e72 (patch) | |
tree | 717c195e1ea7894c25d62cdab0b6c4526585eba1 /docs/dev/debugging.md | |
parent | a8a7fa834726eb763fe872b02db821f99098a498 (diff) | |
parent | 5008e5682159965c6f3b174aed3523c0b5e2fc08 (diff) |
Merge #8012
8012: xtask: replace "lint" command by a simply cargo alias r=matklad a=matthiaskrgr
This strips the run_clippy implementation out of xtask and replaces it by
a simple "cargo lint" alias which runs clippy with the corresponding flags.
Unfortunately I could not name the alias "clippy" because that would lead to infinite recursion. :sweat_smile:
Co-authored-by: Matthias Krüger <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions