diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-04 23:14:46 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-04 23:14:46 +0100 |
| commit | 5deb907b4321d8328978d3322b0826b781814452 (patch) | |
| tree | 2baa3b75b1ef62c02617c37ba9b800c41a3dd102 /.cargo/config | |
| parent | 8bd0e844247dc28d6ceb24b00f3cc3396bd5bf03 (diff) | |
| parent | aa30c4909ebb1e85f1591f465c9e2875aa4d394e (diff) | |
Merge #1374
1374: Implement `cargo lint` and fix some clippy errors r=alanhdu a=alanhdu
This creates a `cargo lint` command that runs clippy with certain lints disabled. I've also gone ahead and fixed some of the lint errors, although there are many more still to go.
cc #848
Co-authored-by: Alan Du <[email protected]>
Diffstat (limited to '.cargo/config')
| -rw-r--r-- | .cargo/config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.cargo/config b/.cargo/config index b12f407e6..51ae33910 100644 --- a/.cargo/config +++ b/.cargo/config | |||
| @@ -12,6 +12,9 @@ install-code = "run --package tools --bin tools -- install-code" | |||
| 12 | # Formats the full repository or installs the git hook to do it automatically. | 12 | # Formats the full repository or installs the git hook to do it automatically. |
| 13 | format = "run --package tools --bin tools -- format" | 13 | format = "run --package tools --bin tools -- format" |
| 14 | format-hook = "run --package tools --bin tools -- format-hook" | 14 | format-hook = "run --package tools --bin tools -- format-hook" |
| 15 | # Run clippy | ||
| 16 | lint = "run --package tools --bin tools -- lint" | ||
| 17 | |||
| 15 | # Runs the fuzzing test suite (currently only parser) | 18 | # Runs the fuzzing test suite (currently only parser) |
| 16 | fuzz-tests = "run --package tools --bin tools -- fuzz-tests" | 19 | fuzz-tests = "run --package tools --bin tools -- fuzz-tests" |
| 17 | 20 | ||