ci: exclude lean-ffi crate on normal runs

Author: MegaRedHand

.github/workflows/ci.yml

@@ -36,10 +36,10 @@ jobs:
         run: cargo fmt --all -- --check
 
       - name: Cargo check
-        run: cargo check --workspace --all-targets
+        run: cargo check --workspace --all-targets --exclude ethlambda-lean-ffi
 
       - name: Clippy
-        run: cargo clippy --workspace --all-targets -- -D warnings
+        run: cargo clippy --workspace --all-targets --exclude ethlambda-lean-ffi -- -D warnings
 
   test:
     name: Test