Zulip Chat Archive

Stream: general

Topic: windows nightly link broken


view this post on Zulip Kevin Buzzard (Mar 08 2018 at 21:27):

https://ci.appveyor.com/api/projects/leodemoura/lean/artifacts/build/lean-nightly-windows.zip?branch=master (the usual link to lean nightly windows) doesn't work currently -- I mean the link doens't work, rather than the zip file not compiling.

view this post on Zulip Kevin Buzzard (Mar 09 2018 at 07:55):

There are issues with the Windows build infrastructure (as spotted by one of my students last night who was hoping to get the new non-leaky Lean). https://github.com/leanprover/lean reports the build as passing in the readme, the link in the readme seems to report it as failing, and the link at https://leanprover.github.io/download/ to the windows nightly is still failing with the error {"message":"\"job\" parameter must be specified if build contains multiple jobs.\r\nParameter name: job"}

view this post on Zulip Sebastian Ullrich (Mar 09 2018 at 09:34):

The new link is https://ci.appveyor.com/api/projects/leodemoura/lean/artifacts/build/lean-nightly-windows.zip?branch=master&job=Environment%3A%20CFG%3DMINGW64. Hopefully I can deploy the new nightly infrastructure in the next few days so that this won't matter.

view this post on Zulip Kevin Buzzard (Apr 08 2018 at 11:18):

I know Lean is a project not a product, but the link to Windows nightlies on the official download page https://leanprover.github.io/download/ currently doesn't work for me. I think Sebastian once told me how to fix this but I forgot. The issue is that I simply don't know where any windows nightlies are any more. At https://github.com/leanprover/lean-nightly/releases there seems to be no Windows nightlies either. Where, if anywhere, is the current Windows nightly?

view this post on Zulip Kevin Buzzard (Apr 09 2018 at 11:11):

I just told someone about Lean and they said "it's crap, the windows download doesn't even work". Nice.

view this post on Zulip Sebastian Ullrich (Apr 09 2018 at 11:34):

@Kevin Buzzard I updated the nightlies link to the new releases page... which doesn't help for Windows until AppVeyor get their shit together and enable cron builds for us :angry:

view this post on Zulip Sebastian Ullrich (Apr 09 2018 at 12:43):

Okay, I've manually triggered a Windows build of the latest nightly

view this post on Zulip Simon Hudon (Apr 09 2018 at 12:50):

I don't understand why you need cron for that. Doesn't the commit trigger a build on AppVeyor?

view this post on Zulip Kevin Buzzard (Apr 09 2018 at 12:51):

That is a fine fix Sebastian. Thanks!

view this post on Zulip Kevin Buzzard (Apr 09 2018 at 12:53):

And we're back to having downloads for all three of the OS's supported by Lean. Hooray!

view this post on Zulip Sebastian Ullrich (Apr 09 2018 at 13:10):

@Simon Hudon Sure, but we don't want a release for every single commit

view this post on Zulip Simon Hudon (Apr 09 2018 at 13:12):

Ah so you have a daily build that creates the daily, is that it? What do you do if there haven't been any commits since the last time?

view this post on Zulip Sebastian Ullrich (Apr 09 2018 at 13:14):

Not pushing a build, obviously :smile: . We already need to compare against the previous build for the change log anyway.

view this post on Zulip Simon Hudon (Apr 09 2018 at 13:29):

Cool :)


Last updated: May 11 2021 at 21:10 UTC