diff options
| author | João Souto <joao.jpgs@hotmail.com> | 2020-02-27 19:30:41 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-27 14:30:41 -0500 |
| commit | ff4b7b0921760f97e83ec34435f875e074f3d069 (patch) | |
| tree | ccd09ccc27e15fa74fcf368ade135ebc408a3692 /.github/workflows | |
| parent | 1d26da6a478d96a03b08b5bf1ff93a277b69f550 (diff) | |
Add clippy to /tools/lint.py (#4132)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 656a72ed3..c4e56bad9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -122,10 +122,6 @@ jobs: if: matrix.kind == 'lint' run: python ./tools/test_format.py - - name: Clippy - if: matrix.kind == 'lint' - run: cargo clippy --all-targets --release --locked -- -D clippy::all - - name: Build if: matrix.kind == 'test_release' || matrix.kind == 'bench' run: cargo build --release --locked --all-targets |