summaryrefslogtreecommitdiffstats
path: root/src/lib.rs
diff options
context:
space:
mode:
authorClement Tsang <34804052+ClementTsang@users.noreply.github.com>2023-01-27 18:13:17 -0500
committerGitHub <noreply@github.com>2023-01-27 18:13:17 -0500
commit9ad1d8f0b47164ebf35eed2bfe09d4c348f96fe8 (patch)
tree57e844563692ed4e80dc45c05f0c880fcc7ce6d8 /src/lib.rs
parent32434932a64e014b1925433ced8bfcadb59f8a77 (diff)
other: ignore uninlined_format_args clippy lint for now (#1004)
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 7f764e9c..33efbf42 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -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]