Commit 2025-06-24 04:54 9099e67f

feat: cache uses the nightly-testing cache when relevant (#26334) This PR change the behaviour of cache so that it will look for oleans from the mathlib4-nightly-testing fork when working on nightly-testing and related branches. Moreover, it checks this cache ahead of the central one, as usually there is no overlap.