diff options
| author | Luca Casonato <hello@lcas.dev> | 2022-06-26 00:13:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-26 00:13:24 +0200 |
| commit | 8d82ba729937baf83011354242cabc3d50c13dc2 (patch) | |
| tree | 3e8c4d87986338639eeef4a76543e4335020262c /tools/lint.js | |
| parent | 38505db39137f33bfdb942658ea892a617ac0980 (diff) | |
build: require safety comments on unsafe code (#13870)
Co-authored-by: Bartek Iwańczuk <biwanczuk@gmail.com>
Co-authored-by: Divy Srivastava <dj.srivastava23@gmail.com>
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js index 18be09c65..f1fa96a2c 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -116,6 +116,10 @@ async function clippy() { "clippy::all", "-D", "clippy::await_holding_refcell_ref", + "-D", + "clippy::missing_safety_doc", + "-D", + "clippy::undocumented_unsafe_blocks", ], stdout: "inherit", stderr: "inherit", |