Skip to content

feat: require Statlib, bump Mathlib to 2ddf59c - #298

Merged
RemyDegenne merged 7 commits into
mainfrom
require-statlib
Nov 13, 2026
Merged

feat: require Statlib, bump Mathlib to 2ddf59c#298
RemyDegenne merged 7 commits into
mainfrom
require-statlib

ci: bump Statlib instead of Mathlib

93719c7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build project
succeeded Nov 13, 2026 in 13m 23s