Zulip Chat Archive

Stream: general

Topic: lean-nightly


view this post on Zulip Simon Hudon (Feb 27 2018 at 09:38):

Is there a way to find out which commit yielded the latest nightly build without installing it? I used to go by the list of commits and select the latest green button but I seem to be missing some

view this post on Zulip Patrick Massot (Feb 27 2018 at 09:39):

https://github.com/leanprover/lean-nightly/tree/gh-pages/build

view this post on Zulip Andrew Ashworth (Feb 27 2018 at 09:40):

huh, why is the windows build missing there? I just built lean HEAD two hours ago

view this post on Zulip Simon Hudon (Feb 27 2018 at 09:40):

Nice! Thanks!

view this post on Zulip Sebastian Ullrich (Feb 27 2018 at 09:44):

@Andrew Ashworth The Windows build is completely separate right now. This will change... soon

view this post on Zulip Andrew Ashworth (Feb 27 2018 at 09:45):

ah, that's interesting to know

view this post on Zulip Patrick Massot (Feb 27 2018 at 09:46):

This may be the most surprising thing I learned since I started Lean: there are academic people and software engineers that use Windows! Who could have guessed that?

view this post on Zulip Simon Hudon (Feb 27 2018 at 09:47):

Windows ... windows ... Isn't that the square thing on the wall when your lab is not in the basement?

view this post on Zulip Patrick Massot (Feb 27 2018 at 09:49):

No it's the thing that helps you refusing to help secretaries with their computer issues

view this post on Zulip Simon Hudon (Feb 27 2018 at 09:51):

Haha! Somehow, they always look at me with such anger when I ask them to fire up a bash shell and use apt-get to install a tool :stuck_out_tongue:


Last updated: May 14 2021 at 12:18 UTC