chore(deps): bump thirdparty/eigen from e0f18b7 to 8a4a417 (#937)

Bumps [thirdparty/eigen](https://gitlab.com/libeigen/eigen) from `e0f18b7` to `8a4a417`.
- [Release notes](https://gitlab.com/libeigen/eigen/tags)
- [Commits](https://gitlab.com/libeigen/eigen/compare/e0f18b799e2cc7d416fdb0aec2075dceebbc8295...8a4a417dde40a03632e56b771e9fbadbc938d790)

---
updated-dependencies:
- dependency-name: thirdparty/eigen
  dependency-version: 8a4a417dde40a03632e56b771e9fbadbc938d790
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot]
2026-07-25 08:36:03 +02:00
committed by GitHub
co-authored by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
parent 9130226c46
commit 25ceae9888