Skip to content

Bump mathlib dependency to 0ee7df2 - #166

Merged
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump
Jun 27, 2026
Merged

Bump mathlib dependency to 0ee7df2#166
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to 0ee7df2: chore: use `NeBot` in left and right …

bbd56fd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.