Repository navigation

Bump `mathlib` dependency to 7bcc5e9 - #87

Open

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

mainfrom

hopscotch/lkg-bump

Open

Bump `mathlib` dependency to 7bcc5e9#87
github-actions[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)
  github-actions[bot]
  committed
  2235f48