Skip to content

chore: bump to v4.27.0-rc1#136

Merged
grunweg merged 1 commit into
leanprover-community:masterfrom
pitmonticone:bump_v4.27.0-rc1
Dec 16, 2025
Merged

chore: bump to v4.27.0-rc1#136
grunweg merged 1 commit into
leanprover-community:masterfrom
pitmonticone:bump_v4.27.0-rc1

Conversation

@pitmonticone

Copy link
Copy Markdown
Member

No description provided.

@grunweg

grunweg commented Dec 16, 2025

Copy link
Copy Markdown
Collaborator

Thanks!

@grunweg grunweg merged commit 2c32227 into leanprover-community:master Dec 16, 2025
1 check passed
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