From e0539e6eb703f10485e6e85d9c7b0b2887e6b16d Mon Sep 17 00:00:00 2001
From: Yair <92672946+yair-starkware@users.noreply.github.com>
Date: Thu, 8 Feb 2024 17:28:08 +0200
Subject: [PATCH] chore: disable clippy (#1691)

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c0374a0ab8..1376a743ec 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -135,9 +135,10 @@ jobs:
         with:
           version: ${{env.PROTOC_VERSION}}
 
-      - run: >
-          cargo clippy --all-targets --all-features -- -D warnings -D future-incompatible
-          -D nonstandard-style -D rust-2018-idioms -D unused -D clippy::unwrap_used
+      - run: echo "Skipping clippy for now"
+      # - run: >
+      #     cargo clippy --all-targets --all-features -- -D warnings -D future-incompatible
+      #     -D nonstandard-style -D rust-2018-idioms -D unused -D clippy::unwrap_used
 
   doc:
     runs-on: ubuntu-latest