Skip to content

Fix fetching and Eigen includes#52

Merged
julien-michot merged 3 commits intomainfrom
fix/thirdparties
Jan 24, 2026
Merged

Fix fetching and Eigen includes#52
julien-michot merged 3 commits intomainfrom
fix/thirdparties

Conversation

@julien-michot
Copy link
Owner

No description provided.

@julien-michot julien-michot force-pushed the fix/thirdparties branch 3 times, most recently from 2f999e2 to 781c24a Compare January 24, 2026 04:43
@julien-michot julien-michot merged commit 01d825a into main Jan 24, 2026
3 checks passed
@julien-michot julien-michot deleted the fix/thirdparties branch January 24, 2026 05:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant