求助：Actions编译LEAN大的固件一直出现错误，之前都是好的。--已解决

genius*** · 发表于 2020-4-23 23:06

本帖最后由 geniusrichter 于 2020-4-24 11:03 编辑

我用Actions编译LEAN大的固件一直出现这个错误，请大佬指点问题在哪里？

[color=rgb(106, 115, 125) !important]Check failure on line 1 in .github

github-actions/ build

.github#L1

Process completed with exit code 2.

fen*** · 发表于 2020-4-23 23:50

42行先更新下，看看lean的readme

genius*** · 发表于 2020-4-24 00:23

fengmz 发表于 2020-4-23 23:50
42行先更新下，看看lean的readme

好的，是这里的问题？那我先更新下试试，不行再来请教，谢谢！

genius*** · 发表于 2020-4-24 11:02

fengmz 发表于 2020-4-23 23:50
42行先更新下，看看lean的readme

确实是这个问题，已经编译好了，谢谢！

账号		自动登录	找回密码
密码			立即注册

欢迎大家光临恩山无线论坛 /1