Repository navigation

Bump `mathlib` dependency to 99cd51b - #272

Closed

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

mainfrom

hopscotch/lkg-bump

Closed

Bump `mathlib` dependency to 99cd51b#272
github-actions[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Oct 5, 2026
- chore: bump mathlib to 99cd51b: ci: upgrade to privilege-escalation-bridge v2.1.0 (#44402) (2026-10-05)
  github-actions[bot]
  committed
  72d51bd