refactor(stm, client, ci): add missing binaries in mithril-stm, improve verifications in Nightly Dispatcher

[turmelclem]

Content

This PR includes :

• fixing mithril-stm by adding missing binaries
• Improve Nightly Dispatcher :
  • add a cargo publish in a dry run mode with verification
  • add a cargo clippy check job with minimal features

Pre-submit checklist

• Branch
  • Tests are provided (if possible)
  • Crates versions are updated (if relevant)
  • CHANGELOG file is updated (if relevant)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
• PR
  • All check jobs of the CI have succeeded
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested
• Documentation
  • Update README file (if relevant)
  • Update documentation website (if relevant)
  • Add dev blog post (if relevant)
  • Add ADR blog post or Dev ADR entry (if relevant)
  • No new TODOs introduced

this PR closes #3507

[github-actions]

Test Results

     5 files  ±0     221 suites  ±0   1h 0m 42s ⏱️ + 2m 35s
 3 542 tests ±0   3 542 ✅ ±0  0 💤 ±0  0 ❌ ±0 
11 661 runs  ±0  11 661 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 9843fbf. ± Comparison against base commit 471ada0.

♻️ This comment has been updated with latest results.

[Copilot]

🟡 Changes recommended

The mithril-stm publish allowlist still excludes some referenced assets, and the new clippy scripts’ feature-selection logic does not fully match the stated “minimal/all-combinations” verification intent.

Once you've addressed the issues Copilot identified, you can request another Copilot review.

Pull request overview

This PR addresses crates.io/doc.rs publication failures caused by missing packaged circuit key binaries in mithril-stm, and strengthens the nightly CI to catch packaging/feature-matrix issues earlier via cargo publish --dry-run verification and additional clippy workflows.

Changes:

• Update mithril-stm packaging allowlist to include required embedded binary assets for doc.rs/crate builds.
• Adjust feature wiring in mithril-client and mithril-stm to use dep:-style feature declarations for optional dependencies.
• Extend the Nightly Dispatcher with dry-run publish verification and new clippy checks (single-crate sweep + feature-combination sweep).

File summaries

File	Description
mithril-stm/Cargo.toml	Expands include allowlist for publishing and adjusts rug-backend feature to dep:rug.
mithril-client/Cargo.toml	Updates the fs feature to explicitly enable optional deps via dep:.
.github/workflows/scripts/clippy-check.sh	Adds a script to run clippy across workspace crates.
.github/workflows/scripts/clippy-check-all-features.sh	Adds a script to run clippy across feature combinations for each crate.
.github/workflows/nightly-dispatcher.yml	Adds nightly jobs for publish dry-run verification and clippy checks.
.github/workflows/actions/publish-rust-crates/action.yml	Adds dry_run_verify input to optionally run dry-run publish with verification.

Review details

• Files reviewed: 6/6 changed files
• Comments generated: 4
• Review effort level: Lite

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[Copilot]

🟡 Changes recommended

The dry_run_verify conditional in the composite publish action is likely to always inject --no-verify, preventing the intended verification step from running.

Once you've addressed the issues Copilot identified, you can request another Copilot review.

Review details

• Files reviewed: 5/5 changed files
• Comments generated: 1
• Review effort level: Lite

[jpraynaud]

LGTM 👍

[damrobi]

LGTM 👍