CI clippy fix?

o1-labs · Sep 17, 2024 · a482f13 · a482f13
1 parent 991c057
commit a482f13
Showing 1 changed file with 7 additions and 3 deletions.
diff --git 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