Skip to content

Update pinocchio dependency#131

Merged
Aursen merged 4 commits into
mainfrom
fix/pinocchio
May 2, 2025
Merged

Update pinocchio dependency#131
Aursen merged 4 commits into
mainfrom
fix/pinocchio

Conversation

@Aursen
Copy link
Copy Markdown
Contributor

@Aursen Aursen commented Apr 16, 2025

No description provided.

@Aursen
Copy link
Copy Markdown
Contributor Author

Aursen commented Apr 24, 2025

Waiting for anza-xyz/pinocchio#140

@Aursen Aursen added the blocked label Apr 24, 2025
@febo
Copy link
Copy Markdown
Contributor

febo commented Apr 29, 2025

The fix for this will be added by anza-xyz/pinocchio#146

@Aursen Aursen merged commit f5d8aeb into main May 2, 2025
3 checks passed
@Aursen Aursen deleted the fix/pinocchio branch May 2, 2025 04:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants