Skip to content

Conversation

@talregev
Copy link
Contributor

@talregev talregev commented Oct 19, 2025

There was a bug in vcpkg when installing eigen3.
We remove it temporary and now:
Add back eigen3 to vcpkg
Revert "remove eigen3"
This reverts commit 0c00fc0.

Revert this PR:
#2267

This reverts commit 0c00fc0.
@dellaert
Copy link
Member

OK, totally fine, but say a bit more about why in PR request? Just for documenting the history here.

@talregev
Copy link
Contributor Author

OK, totally fine, but say a bit more about why in PR request? Just for documenting the history here.

I added a little bit more explanation. Let me know if it more clear

@ProfFan
Copy link
Collaborator

ProfFan commented Oct 19, 2025

LGTM

@dellaert dellaert merged commit 2b0fe17 into borglab:develop Oct 20, 2025
34 checks passed
@talregev talregev deleted the TalR/vcpkg_eigen3 branch October 20, 2025 03:23
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.

3 participants