Repository navigation

Bump `mathlib` dependency to 10f994e - #279

Closed

github-actions[bot] wants to merge 1 commit into

mainfrom

hopscotch/lkg-bump

Closed

Bump `mathlib` dependency to 10f994e#279
github-actions[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Oct 15, 2026
- chore: bump mathlib to 10f994e: feat(Cache): set the number of parallel downloads with `MATHLIB_CACHE_PARALLEL_MAX` (#44615) (2026-10-13)
  github-actions[bot]
  committed
  f10d2af