Commit 2026-01-06 04:32 c43754fd
View on Github →feat(Cache): environment-configurable URLs (#33605)
Makes the URLs used by Mathlib's cache (lake exe cache) configurable via environment variables. The download URL is configured through MATHLIB_CACHE_GET_URL and the upload URL is configured through MATHLIB_CACHE_PUT_URL.