Commit 2025-08-12 05:09 135bc017
View on Github →feat: add cache support for nightly-testing-YYYY-MM-DD tags (#28029) I often find myself wanting a cache for a nightly-testing-YYYY-MM-DD tag (e.g. when nightly-testing itself is broken, but I need a recent working Mathlib to test something against). The current remote detection code doesn't work, but this seems to fix it.