Skip to content

Update version to lean4:v4.29.0-rc6#6

Open
yuanyi-350 wants to merge 96 commits intogirving:mainfrom
yuanyi-350:main
Open

Update version to lean4:v4.29.0-rc6#6
yuanyi-350 wants to merge 96 commits intogirving:mainfrom
yuanyi-350:main

Conversation

@yuanyi-350
Copy link
Copy Markdown

@yuanyi-350 yuanyi-350 commented Mar 26, 2026

Built and used an automated agent to perform the version upgrade version to v4.29.0-rc6 .

@yuanyi-350 yuanyi-350 reopened this Mar 27, 2026
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