diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-01-27 18:13:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-27 18:13:17 -0500 |
commit | 9ad1d8f0b47164ebf35eed2bfe09d4c348f96fe8 (patch) | |
tree | 57e844563692ed4e80dc45c05f0c880fcc7ce6d8 /src | |
parent | 32434932a64e014b1925433ced8bfcadb59f8a77 (diff) |
other: ignore uninlined_format_args clippy lint for now (#1004)
Diffstat (limited to 'src')
-rw-r--r-- | src/bin/main.rs | 1 | ||||
-rw-r--r-- | src/lib.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/bin/main.rs b/src/bin/main.rs index 806efe3b..fe0b39fa 100644 --- a/src/bin/main.rs +++ b/src/bin/main.rs @@ -1,4 +1,5 @@ #![warn(rust_2018_idioms)] +#![allow(clippy::uninlined_format_args)] #[allow(unused_imports)] #[cfg(feature = "log")] #[macro_use] @@ -6,6 +6,7 @@ //! bottom, refer to [here](https://clementtsang.github.io/bottom/stable/). #![warn(rust_2018_idioms)] +#![allow(clippy::uninlined_format_args)] #[allow(unused_imports)] #[cfg(feature = "log")] #[macro_use] |