您好,128 这个报错不影响部署,您这边可以直接忽略。我会和相关同事反馈修复这个 ERROR 的显示。
下一个版本的 lean-cli 应该会修复这个问题。
收到,谢谢!@weakish
当前最新版 v0.23.0 已经修复了这个问题