Zulip Chat Archive

Stream: lean4

Topic: nightly 12.11.2021 not published for Linux


Henrik Böving (Dec 11 2021 at 11:59):

When I try to do an elan update:

λ elan update
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v3.35.1
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2021-12-11
info: downloading component 'lean'
error: binary package was not provided for 'linux'
info: checking for self-updates

                        stable unchanged - Lean (version 3.35.1, commit 4887d8a30621, Release)
  leanprover/lean4:nightly update failed - Lean (version 4.0.0-nightly-2021-11-26, commit 3ccd44fafae1, Release)

it appears no Linux binaries were published for this release? I also can't see any in the assets part of this nightly https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-12-11.

Mac (Dec 11 2021 at 16:27):

@Henrik Böving yes, the Linux release build was broken yesterday so its nightly has no Linux release.


Last updated: Dec 20 2023 at 11:08 UTC