mirror of
https://github.com/gitui-org/gitui
synced 2026-05-24 01:18:21 +00:00
warning as error
This commit is contained in:
parent
6decd7a638
commit
7ac40f73eb
2 changed files with 2 additions and 0 deletions
|
|
@ -5,6 +5,7 @@
|
||||||
#![deny(unused_imports)]
|
#![deny(unused_imports)]
|
||||||
#![deny(unused_must_use)]
|
#![deny(unused_must_use)]
|
||||||
#![deny(dead_code)]
|
#![deny(dead_code)]
|
||||||
|
#![deny(unstable_name_collisions)]
|
||||||
#![deny(clippy::all, clippy::perf, clippy::nursery, clippy::pedantic)]
|
#![deny(clippy::all, clippy::perf, clippy::nursery, clippy::pedantic)]
|
||||||
#![deny(clippy::filetype_is_file)]
|
#![deny(clippy::filetype_is_file)]
|
||||||
#![deny(clippy::cargo)]
|
#![deny(clippy::cargo)]
|
||||||
|
|
|
||||||
|
|
@ -2,6 +2,7 @@
|
||||||
#![deny(unused_imports)]
|
#![deny(unused_imports)]
|
||||||
#![deny(unused_must_use)]
|
#![deny(unused_must_use)]
|
||||||
#![deny(dead_code)]
|
#![deny(dead_code)]
|
||||||
|
#![deny(unstable_name_collisions)]
|
||||||
#![deny(clippy::all, clippy::perf, clippy::nursery, clippy::pedantic)]
|
#![deny(clippy::all, clippy::perf, clippy::nursery, clippy::pedantic)]
|
||||||
#![deny(clippy::filetype_is_file)]
|
#![deny(clippy::filetype_is_file)]
|
||||||
#![deny(clippy::cargo)]
|
#![deny(clippy::cargo)]
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue