Zulip Chat Archive
Stream: general
Topic: how to get nightly release
Asei Inoue (Jan 09 2026 at 12:29):
How can I obtain a list of Lean’s nightly releases?
Is there an official convenient API?
Sebastian Ullrich (Jan 09 2026 at 12:34):
Does https://release.lean-lang.org/ help? That format can be considered stable
Asei Inoue (Jan 09 2026 at 12:36):
Thank you. I think this is helpful
Last updated: Feb 28 2026 at 14:05 UTC