Skip to content

Bump mathlib dependency to fa97836 - #152

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

Bump mathlib dependency to fa97836#152
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to fa97836: ci: let bors manage PR lifecycle labe…

6093680
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.