From 348345f555fce5249c42896756606c8427684023 Mon Sep 17 00:00:00 2001
From: Tamo <tamo@meilisearch.com>
Date: Mon, 11 Apr 2022 13:19:00 +0200
Subject: [PATCH] chore(bors): comments clippy out

There is currently an issue with clippy that stops us from merging PRs.
https://github.com/rust-lang/rust-clippy/issues/8662#issuecomment-1093899755

We can't use clippy in the CI while that's not merged
---
 bors.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bors.toml b/bors.toml
index b357e8d61..d24e6c09b 100644
--- a/bors.toml
+++ b/bors.toml
@@ -2,7 +2,7 @@ status = [
     'Tests on ubuntu-18.04',
     'Tests on macos-latest',
     'Tests on windows-latest',
-    'Run Clippy',
+    # 'Run Clippy',
     'Run Rustfmt',
     'Run tests in debug',
 ]