cache fetching slow

Stream: nightly-testing

[Joachim Breitner]

I can see the download count going up very slowly, a second or more per file, in

~/mathlib4 $ ~/.elan/bin/lake exec cache get
info: batteries: checking out revision 'aac3e791c5d4eb1b5368c2a19cf69d040d1c76ef'
✖ [2/2] Running proofwidgets:release
error: failed to fetch GitHub release (run with '-v' for details)
Some required targets logged failures:
- proofwidgets:release
Current branch: nightly-testing
Using cache from nightly-testing remote: leanprover-community/mathlib4-nightly-testing
Attempting to download 7107 file(s) from leanprover-community/mathlib4-nightly-testing cache
Downloaded: 697 file(s) [attempted 697/7107 = 9%]

right now. This is on chonk (the FRO machine). Is this something others observe as well?

[Bryan Gin-ge Chen]

Possibly related to other current issues with the new cache server? See in particular #mathlib4 > lake exe cache get @ 💬

[Kim Morrison]

Yes, I have been intermittently observing the same. Usually ctrl-c and trying again improves the situation. :sad: