summaryrefslogtreecommitdiffstats
path: root/assets/themes
diff options
context:
space:
mode:
authorMartin Nordholts <enselic@gmail.com>2020-12-28 12:51:56 +0100
committerDavid Peter <sharkdp@users.noreply.github.com>2020-12-30 11:46:56 +0100
commitc0d945c0acbd6dd75971f6ee04a8b294471ead7f (patch)
tree61911d11eef459b602f6d01f58cbdd61a2ef2c1e /assets/themes
parent6d0e7650c3192b60a5f5bc90b67d652b8cd89842 (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