如图所示:
lean-cli版本:0.5.5系统:windows 10
补充:这是一个刚创建的应用,还没有任何数据(是否跟这个有关?)
请 @jysperm 看下。
@asaka 重试一下是否可以成功?有可能是短时间的网络问题。
是@错人了吗?我这儿还是不行
已修复,麻烦重试一下。
确实可以了,谢谢!