Skip to content

chore: make clippy happy#18900

Merged
fgimenez merged 1 commit intoparadigmxyz:mainfrom
lean-apple:clippy-happy
Oct 8, 2025
Merged

chore: make clippy happy#18900
fgimenez merged 1 commit intoparadigmxyz:mainfrom
lean-apple:clippy-happy

Commits

Commits on Oct 8, 2025