CI addition

.github/workflows/code_checks.yml

@@ -0,0 +1,48 @@
+name: Code Checks
+
+on: [push]
+
+env:
+  CARGO_TERM_COLOR: always
+  CARGO_TERM_VERBOSE: true
+  CARGOFLAGS: --workspace --all-targets --all-features
+  RUST_LOG: trace
+  RISC0_DEV_MODE: 1
+
+jobs:
+  formatting:
+    name: Check formatting
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Run Cargo fmt
+      run: cargo fmt --check
+
+  linting:
+    name: Check linting
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Run Cargo clippy
+      run: cargo clippy --no-deps --all-targets -- -Dwarnings
+
+  udeps:
+    name: Check unused dependencies
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: nightly-2024-07-27
+          override: true
+      - name: Run cargo-udeps
+        env:
+          RUSTFLAGS: -A warnings
+        uses: aig787/cargo-udeps-action@v1
+        with:
+          version: "latest"
+          args: "--workspace --all-features --all-targets"