From ff4b7b0921760f97e83ec34435f875e074f3d069 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Souto?= <joao.jpgs@hotmail.com>
Date: Thu, 27 Feb 2020 19:30:41 +0000
Subject: Add clippy to /tools/lint.py (#4132)

---
 .github/workflows/ci.yml | 4 ----
 1 file changed, 4 deletions(-)

(limited to '.github/workflows')

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
-- 
cgit v1.2.3