Can't install nightly

Stream: lean4

[Arien Malec]

I have an apparently borked lean4 nighly install -- originally was working with lean3, then tried to switch to TPIL4, pinned to stable, was having some weird LSP issues, tried to switch to nightly, and got the following

elan install leanprover/lean4:nightly
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2022-09-27

  leanprover/lean4:nightly unchanged - (lean does not exist)

trying to run lean gets a complaint about missing binaries...

Am back pinned to stable (or would it be better for me to stay away from nightly)?

[James Gallicchio]

I think nightly is broadly speaking the most stable / bug-free lean4 version you can have ATM, since there isn't a stable release yet.

Could you manually overwrite the lean-toolchain file's contents to leanprover/lean4:nightly-2022-09-26? There might be an issue with yesterday's build

[Arien Malec]

Either that or just re-doing the nightly install did the trick... Thanks!