Skip to content

Bump lean to v4.26.0-rc2#4

Merged
kencyke merged 6 commits intomainfrom
bump-v4.26.0-rc2
Nov 28, 2025
Merged

Bump lean to v4.26.0-rc2#4
kencyke merged 6 commits intomainfrom
bump-v4.26.0-rc2

Conversation

@kencyke
Copy link
Owner

@kencyke kencyke commented Nov 28, 2025

With changing devcontainer & lake settings

@kencyke kencyke self-assigned this Nov 28, 2025
@kencyke kencyke merged commit 4fd93ac into main Nov 28, 2025
2 checks passed
@kencyke kencyke deleted the bump-v4.26.0-rc2 branch November 28, 2025 19:13
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.

1 participant