Zulip Chat Archive

Stream: general

Topic: elan slow today?

Gabriel Ebner (Nov 17 2021 at 17:36):

I'm currently trying to download the latest lean 4 nightly, and it gets kind of stuck:

Total:  33.3 MiB Speed: 195.2 KiB/s

Anybody experiencing something similar?

Sebastian Ullrich (Nov 17 2021 at 17:49):

It's not elan per se I hope?

$ wget https://github.com/leanprover/lean4-nightly/releases/download/nightly-2021-11-17/lean-4.0.0-nightly-2021-11-17-linux.tar.gz
--2021-11-17 18:48:52--  https://github.com/leanprover/lean4-nightly/releases/download/nightly-2021-11-17/lean-4.0.0-nightly-2021-11-17-linux.tar.gz

lean-4.0.0-nightly-2021-11-1 100%[============================================>] 113.07M  37.0MB/s    in 3.1s

Gabriel Ebner (Nov 17 2021 at 17:51):

eta 5m 25s :sad:

Sebastian Ullrich (Nov 17 2021 at 17:51):

No, looks fine as well on my machine

info: downloading component 'lean'
113.1 MiB / 113.1 MiB (100 %)  51.0 MiB/s ETA:   0 s

Gabriel Ebner (Nov 17 2021 at 17:54):

Mmh, I'll just chalk it up to a CDN issue (I checked, it connects to an endpoint here in the Netherlands). Maybe it's fixed by tomorrow.

Last updated: Dec 20 2023 at 11:08 UTC