Loading packages over 6 hours.

Stream: general

[Austin Shen]

image.png
I've been trying to run the file from this repo: https://github.com/Timeroot/Lean-QuantumInfo/blob/main/QuantumInfo.lean. However, the file has been loading for over 6 hours without finishing. Would the warning shown on the screen be enough to stop the process, or should it still eventually complete?

[Robin Arnez]

Have you tried restarting the server?