chore: tag prerelease builds with `-pre`#5943

Merged

Kha merged 2 commits intoleanprover:masterfrom Kha:push-lwnlpstmmozl

Nov 6, 2024

+8-6

Commits on Nov 4, 2024

feat: tag prerelease builds with -pre
Kha
committed

Commits on Nov 5, 2024

expand lean_version docstring
Kha
authored