Skip to content

Bump lean to v4.25.1#3

Merged
kencyke merged 4 commits intomainfrom
bump-v4.25.1
Nov 24, 2025
Merged

Bump lean to v4.25.1#3
kencyke merged 4 commits intomainfrom
bump-v4.25.1

Conversation

@kencyke
Copy link
Copy Markdown
Owner

@kencyke kencyke commented Nov 24, 2025

Also, added commitlint and commitizen, etc.

@kencyke kencyke self-assigned this Nov 24, 2025
@kencyke kencyke merged commit 00ad714 into main Nov 24, 2025
2 checks passed
@kencyke kencyke deleted the bump-v4.25.1 branch November 24, 2025 10:55
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