Skip to content

feat: bump lean version to 4.29.0#176

Merged
dhsorens merged 14 commits intomasterfrom
dhsorens/bump_to_4.29.0-rc6
Apr 14, 2026
Merged

feat: bump lean version to 4.29.0#176
dhsorens merged 14 commits intomasterfrom
dhsorens/bump_to_4.29.0-rc6

Commits

Commits on Mar 28, 2026

Commits on Mar 31, 2026

Commits on Apr 9, 2026

Commits on Apr 13, 2026

Commits on Apr 14, 2026