Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

lake option to suppress all warnings #4805

Closed
kim-em opened this issue Jul 22, 2024 · 0 comments · Fixed by #4847
Closed

lake option to suppress all warnings #4805

kim-em opened this issue Jul 22, 2024 · 0 comments · Fixed by #4847
Assignees
@tydeu
Labels
feature missing feature Lake Lake related issue

Comments

@kim-em
Copy link
Collaborator

kim-em commented Jul 22, 2024

Could we have a lake option to suppress all warnings?

(This would be very helpful in conjunction with debug.byAsSorry which generates both warnings about the sorries, but also many additional linter warnings.)
@kim-em kim-em added feature missing feature Lake Lake related issue labels Jul 22, 2024
@tydeu tydeu mentioned this issue Jul 26, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Jul 27, 2024
@tydeu
feat: lake: CLI options to control output & failure log levels (#4847)
fe5894f 
Adds the `--log-level=<lv>` CLI option for controlling the minimum log
level Lake should output. For instance, `--log-level=error` will only
print errors (not warnings or info).

Also, adds the parallel `--fail-level` CLI option to control what the
minimum log level of build failures is. The existing `--iofail` and
`--wfail` options are equivalent to `--fail-level=info` and
`--fail-level=warning` , respectively.

Closes #4805,
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tydeu tydeu

Labels
feature missing feature Lake Lake related issue
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: lake: CLI options to control output & failure log levels tydeu/lean4
2 participants
@kim-em @tydeu