Zulip Chat Archive
Stream: general
Topic: docgen v4.29.0-rc1 release
Chris Henson (Feb 18 2026 at 17:46):
Is it intentional that there is not a docgen release for v4.29.0-rc1 corresponding to the PR moving to this toolchain?
Kim Morrison (Feb 19 2026 at 01:19):
This was an accident, fixed by one more execution of script/release_checklist.py v4.29.0-rc1 in the lean4 repo.
Chris Henson (Feb 19 2026 at 01:39):
Great, thank you!
Last updated: Feb 28 2026 at 14:05 UTC