From 24f5522bb4ff09997e57f9e4cdcfd96cc996dd6f Mon Sep 17 00:00:00 2001
From: Jeremy Lempereur <jeremy.lempereur@gmail.com>
Date: Tue, 13 Apr 2021 14:16:18 +0200
Subject: [PATCH] remove clippy inline lints, that's too much noise for now
 (#326)

---
 .github/workflows/clippy.yml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 .github/workflows/clippy.yml

diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml
deleted file mode 100644
index 60f4323..0000000
--- a/.github/workflows/clippy.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-on: pull_request
-
-name: Clippy Check
-jobs:
-  clippy_check:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@master
-      - uses: actions-rs/toolchain@v1
-        with:
-          toolchain: nightly
-          components: clippy
-          override: true
-      - uses: actions-rs/clippy-check@v1
-        with:
-          token: ${{ secrets.GITHUB_TOKEN }}