Add scripts/clippy.sh

The script makes it easier to manually check REPL and benchmark code
with clippy without the need to copy-paste all the flags.

.github/workflows/ci.yml

@@ -31,7 +31,7 @@ jobs:
             override: true
       - name: Cache rust cargo artifacts
         uses: swatinem/rust-cache@v2
-      - run: cargo clippy --workspace --tests --examples --benches -- -D warnings
+      - run: scripts/clippy.sh
 
   docs:
     name: Rust doc comments

scripts/README.md

@@ -6,6 +6,8 @@ and an own build machine.
 
 ## Description of scripts 
 
+- `clippy.sh` runs `cargo clippy` for all Rust code in the project.
+
 - `../.github/workflows` contains jobs run by GitHub Actions.
 
 - `remote_tests_python.sh` rsyncs to a build machine and runs

scripts/clippy.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+# Run clippy for all Rust code in the project.
+cargo clippy --workspace --tests --examples --benches -- -D warnings