Zulip Chat Archive

Stream: general

Topic: Relationship between repos lean and lean-nightly


view this post on Zulip Ching-Tsun Chou (Mar 11 2018 at 21:44):

I am confused about the relationship between the following two repos:

https://github.com/leanprover/lean

https://github.com/leanprover/lean-nightly

I thought the latter contains snapshots of the former which also appear as nightly builds. But the latest nightly in:

https://github.com/leanprover/lean-nightly/releases
commit: 5f38fd46d102e81ea798b97d18825ca583150aca

does not appear to exist in the lean repo. Was my understanding wrong?

Thanks!

view this post on Zulip Simon Hudon (Mar 11 2018 at 21:47):

I believe that hash is a commit to the lean-nightly project which is not a fork of lean it is used more like some server space. When travis is done building lean, it pushes a release lean-nightly which is not a commit in lean-nightly

view this post on Zulip Sebastian Ullrich (Mar 11 2018 at 22:22):

These are still test releases. I will remove them once the change is live.

view this post on Zulip Ching-Tsun Chou (Mar 11 2018 at 22:25):

What about the nightlies here?

https://leanprover.github.io/download/

How are they related to the ones in lean-nightly?

Thanks!

view this post on Zulip Sebastian Ullrich (Mar 11 2018 at 22:55):

The download page will link to the releases page when the change is done


Last updated: May 11 2021 at 22:14 UTC