Commit 2025-05-27 09:48 684f3e8a

fix(Cache): detect repository of mathlib, not root (#25211) Fixes a bug with #25137 where it would detect the repository of the root directory, which is not always Mathlib. It now properly uses the detected Mathlib dependency path like the rest of cache.