Ching-Tsun Chou (Mar 11 2018 at 21:44):
I am confused about the relationship between the following two repos:
I thought the latter contains snapshots of the former which also appear as nightly builds. But the latest nightly in:
does not appear to exist in the lean repo. Was my understanding wrong?
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
Sebastian Ullrich (Mar 11 2018 at 22:22):
These are still test releases. I will remove them once the change is live.
Ching-Tsun Chou (Mar 11 2018 at 22:25):
What about the nightlies here?
How are they related to the ones in lean-nightly?
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