Replace udeps with machete (#851)

.github/workflows/ci.yaml

@@ -156,23 +156,12 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - run: cargo +nightly-2024-01-04 test --release --features="slow-tests"
 
-  udeps:
+  machete:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        name: "Rust Toolchain Setup"
-        with:
-          toolchain: nightly-2024-01-04
-      - uses: Swatinem/rust-cache@v2
-        id: "cache-cargo"
-      - if: ${{ steps.cache-cargo.outputs.cache-hit != 'true' }}
-        name: "Download and run cargo-udeps"
-        run: |
-          wget -O - -c https://github.com/est31/cargo-udeps/releases/download/v0.1.35/cargo-udeps-v0.1.35-x86_64-unknown-linux-gnu.tar.gz | tar -xz
-          cargo-udeps-*/cargo-udeps udeps
-        env:
-          RUSTUP_TOOLCHAIN: nightly-2024-01-04
+      - name: Run Machete (detect unused dependencies)
+        uses: bnjbvr/cargo-machete@main
 
   all-tests:
     runs-on: ubuntu-latest
@@ -184,7 +173,7 @@ jobs:
       - run-neon-tests
       - run-wasm32-wasi-tests
       - run-slow-tests
-      - udeps
+      - machete
     steps:
       - name: Decide whether all the needed jobs succeeded or failed
         uses: re-actors/[email protected]

crates/prover/Cargo.toml

@@ -56,6 +56,9 @@ nonstandard-style = "deny"
 rust-2018-idioms = "deny"
 unused = "deny"
 
+[package.metadata.cargo-machete]
+ignored = ["downcast-rs"]
+
 [[bench]]
 harness = false
 name = "bit_rev"