Repository navigation

chore(clippy): close --all-features gap (stacked on #51) - #54

Closed

hyperpolymath wants to merge 3 commits into

mainfrom

ci/clippy-complementary-2026-05-11

Closed

chore(clippy): close --all-features gap (stacked on #51)#54
hyperpolymath wants to merge 3 commits into
mainfrom
ci/clippy-complementary-2026-05-11

Commits on Apr 28, 2026
- chore(audit): clear lib+test warnings, fix prober dispatch bug, sync GraphQL ProverKind
  claude
  committed
  72587ae
Commits on May 11, 2026
- chore(audit): silence pre-existing GraphQL+REST workspace warnings
  claude
  committed
  f405fa9
- chore(clippy): close --all-features --all-targets gap left by #51
  hyperpolymath
  committed
  1d196e2