Skip to content

chore: sync Tau Ceti 4d91513, Mathlib 2ddf59c and LML, which brings Statlib - #315

Merged
RemyDegenne merged 3 commits into
mainfrom
chore/sync-tauceti-2ddf59c
Nov 13, 2026
Merged

chore: sync Tau Ceti 4d91513, Mathlib 2ddf59c and LML, which brings Statlib#315
RemyDegenne merged 3 commits into
mainfrom
chore/sync-tauceti-2ddf59c

chore: pin LML at the merge of LML#298, and repair main's new code

5752655
Select commit
Loading
Failed to load commit list.
LMLExplore-automation / merge eligibility failed Nov 13, 2026 in 0s

Review unsafe — approval withdrawn

no scoreboard comment for the current head; refusing

View more details on LMLExplore-automation