diff options
author | Martin Nordholts <enselic@gmail.com> | 2020-12-28 12:51:56 +0100 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-12-30 11:46:56 +0100 |
commit | c0d945c0acbd6dd75971f6ee04a8b294471ead7f (patch) | |
tree | 61911d11eef459b602f6d01f58cbdd61a2ef2c1e /assets/themes | |
parent | 6d0e7650c3192b60a5f5bc90b67d652b8cd89842 (diff) |
Allow clippy::style lints
Turns out GitHub is clever enough to pick up clippy warnings from us
just running it, and showing them in PRs under a "Unchanged files with
check annotations (beta)" header.
The only warnings currently shown are style warnings, and we agreed we
don't want to risk putting off contributors over style issues. So
explicitly allow (don't warn in the logs for) this category of clippy
lints.
This means that the only clippy categories left that prints warnings
(Warn) are:
clippy::complexity
clippy::perf
And the only category of lints that fails the CI build (Deny) remains to
be:
clippy::correctness
See https://rust-lang.github.io/rust-clippy/master/index.html for a
catalog of all lints.
Diffstat (limited to 'assets/themes')
0 files changed, 0 insertions, 0 deletions