diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-03-11 23:48:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-11 23:48:00 -0400 |
| commit | ad6b00a2bf061a90c72737d0ecc4a58bb0a89550 (patch) | |
| tree | daf342fa1d0dcde202a116ac010f310ba4321fa9 /tools/lint.js | |
| parent | c38c14f51f2edc8d25f349de52fc1268b97b59b2 (diff) | |
chore: enable clippy unused_async rule (#22834)
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js index 56662fdd8..6cda0cef0 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -156,6 +156,8 @@ async function clippy() { "--", "-D", "warnings", + "--deny", + "clippy::unused_async", ], stdout: "inherit", stderr: "inherit", |