option of `lake build`: how to hide info

Stream: new members

[Asei Inoue]

When lake build is run on CI, can't we just show the error and not the info/warning message?

[Asei Inoue]

When CI fails, there are too many unrelated messages and it takes time to determine the cause of the error.

[Arthur Paulino]

For reference, info logs are usually opt in and warning logs are usually opt out

[Asei Inoue]

Where can I get a list of the options available at build time with their descriptions?