Skip to content

⬆️ Update Eigen3 to version 5.0.1#371

Merged
burgholzer merged 1 commit into
mainfrom
update-eigen
Jun 24, 2026
Merged

⬆️ Update Eigen3 to version 5.0.1#371
burgholzer merged 1 commit into
mainfrom
update-eigen

Commits

Commits on Jun 23, 2026