Skip to content

build(deps): bump pinocchio from 0.9.0 to 0.9.2#258

Merged
github-actions[bot] merged 1 commit intomainfrom
dependabot/cargo/pinocchio-0.9.2
Oct 2, 2025
Merged

build(deps): bump pinocchio from 0.9.0 to 0.9.2#258
github-actions[bot] merged 1 commit intomainfrom
dependabot/cargo/pinocchio-0.9.2

Commits

Commits on Oct 2, 2025