Skip to content

Bump mathlib to v4.28.0#265

Draft
YaelDillies wants to merge 1 commit intomasterfrom
bump_v4.28.0
Draft

Bump mathlib to v4.28.0#265
YaelDillies wants to merge 1 commit intomasterfrom
bump_v4.28.0

Conversation

@YaelDillies
Copy link
Copy Markdown
Collaborator

No description provided.

@teorth
Copy link
Copy Markdown
Owner

teorth commented Mar 20, 2026

There seems to be a lake build error.

@YaelDillies
Copy link
Copy Markdown
Collaborator Author

Yes, sorry, I put this out as a PR merely because @b-mehta agree to have a go at finishing the bump off.

@YaelDillies YaelDillies marked this pull request as draft March 20, 2026 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants