Repository navigation

chore: Bump `mathlib` dependency to 7bcc5e9 - #905

Open

mathlib-nightly-testing[bot] wants to merge 1 commit into

mainfrom

hopscotch/lkg-bump

Open

chore: Bump `mathlib` dependency to 7bcc5e9#905
mathlib-nightly-testing[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Nov 13, 2026
- chore: bump mathlib to 7bcc5e9: ci: retire the legacy Lean nightly pipeline (#45594) (2026-11-13)
  mathlib-nightly-testing[bot]
  committed
  06b31ed