[upstream_utils] Fix Eigen tag (#8283)

Upstream no longer seems to have the commit we were pointing to. We'll
just use the tag since that hasn't changed since the official release
announcement.
This commit is contained in:
Tyler Veness
2025-10-09 21:50:55 -07:00
committed by GitHub
parent b56b843c8a
commit f5990e8b40
6 changed files with 37 additions and 33 deletions

View File

@@ -145,8 +145,7 @@ def copy_upstream_src(wpilib_root: Path):
def main():
name = "eigen"
url = "https://gitlab.com/libeigen/eigen.git"
# 5.0.0 release as of 2025-09-23
tag = "d65cda87c1a673047b59b20a9f9e165a452f91e9"
tag = "5.0.0"
eigen = Lib(name, url, tag, copy_upstream_src)
eigen.main()