You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, Eigen submodule at ext/eigen references the repository at https://github.com/eigenteam/eigen-git-mirror which is declared deprecated by Eigen mantainers. They have switched the official repository to git and moved it to https://gitlab.com/libeigen/eigen, after which they deprecated the old git mirror.
Currently, Eigen submodule at
ext/eigen
references the repository at https://github.com/eigenteam/eigen-git-mirror which is declared deprecated by Eigen mantainers. They have switched the official repository to git and moved it to https://gitlab.com/libeigen/eigen, after which they deprecated the old git mirror.Consider switching to using official git repository at https://gitlab.com/libeigen/eigen instead.
The text was updated successfully, but these errors were encountered: