From a482f1395f88e5c17a74c6479f5d90ca0fe43554 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Tue, 17 Sep 2024 18:58:15 +0100
Subject: [PATCH] CI clippy fix?

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

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 60a52450fe..248619ca1a 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -89,9 +89,13 @@ jobs:
 
       - name: Lint (clippy)
         uses: actions-rs/cargo@v1
-        with:
-          command: clippy
-          args: --all-features --tests --all-targets -- -D warnings -W clippy:all
+        run:
+          |
+             cat /home/runner/work/proof-systems/proof-systems/proof-systems-vendors/csv/Cargo.lock
+             clippy --all-features --tests --all-targets -- -D warnings -W clippy:all
+        #with:
+        #  command: clippy
+        #  args: --all-features --tests --all-targets -- -D warnings -W clippy:all
 
       - name: Run Clippy (beta)
         uses: actions-rs/clippy-check@v1