Skip to content

chore: Update Lean to v4.28.0#73

Merged
samuelburnham merged 1 commit intomainfrom
lean-v4.28.0
Feb 23, 2026
Merged

chore: Update Lean to v4.28.0#73
samuelburnham merged 1 commit intomainfrom
lean-v4.28.0

Conversation

@samuelburnham
Copy link
Member

No description provided.

@samuelburnham samuelburnham enabled auto-merge (squash) February 23, 2026 20:40
@samuelburnham samuelburnham merged commit b76de46 into main Feb 23, 2026
5 checks passed
@samuelburnham samuelburnham deleted the lean-v4.28.0 branch February 23, 2026 20:52
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