Skip to content

Bump mathlib dependency to v4.34.0 - #58

Merged
mcdoll merged 1 commit into
mainfrom
hopscotch/lkg-bump
Sep 16, 2026
Merged

Bump mathlib dependency to v4.34.0#58
mcdoll merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to v4.34.0: chore: bump toolchain to v4.34.0 (#43…

76e8b65
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build
succeeded Sep 16, 2026 in 13m 46s