| commit | ed64716a87d0ab3a7ad02a3c0742a084b256930a | [log] [tgz] |
|---|---|---|
| author | UebelAndre <github@uebelandre.com> | Sat Jul 10 09:22:07 2021 -0700 |
| committer | GitHub <noreply@github.com> | Sat Jul 10 09:22:07 2021 -0700 |
| tree | b953b2e1a42c4134d885de7fcf5c140e0a567058 | |
| parent | 79177f10c989490b78efda757664aba5c79726df [diff] [blame] |
Added support for `noclippy` tag (#824) * Added support for `noclippy` tag * Regenerate documentation * Added regression tests for `noclippy` tag. * Fixed typo * Fixed bad cherry-pick
diff --git a/docs/rust_clippy.vm b/docs/rust_clippy.vm index e059e8d..d444a04 100644 --- a/docs/rust_clippy.vm +++ b/docs/rust_clippy.vm
@@ -20,3 +20,5 @@ ``` This will enable clippy on all [Rust targets](./defs.md). + +Note that targets tagged with `noclippy` will not perform clippy checks