diff --git a/detcore/src/lib.rs b/detcore/src/lib.rs
index 86d2c9d..0652424 100644
--- a/detcore/src/lib.rs
+++ b/detcore/src/lib.rs
@@ -12,6 +12,7 @@
 #![feature(nonzero_ops)]
 #![deny(clippy::all)]
 #![deny(missing_docs)]
+#![allow(clippy::uninlined_format_args)]
 
 mod config;
 mod consts;
diff --git a/hermit-cli/src/bin/hermit/main.rs b/hermit-cli/src/bin/hermit/main.rs
index 1b8a20e..3185822 100644
--- a/hermit-cli/src/bin/hermit/main.rs
+++ b/hermit-cli/src/bin/hermit/main.rs
@@ -8,6 +8,7 @@
 
 // Treat all Clippy warnings as errors.
 #![deny(clippy::all)]
+#![allow(clippy::uninlined_format_args)]
 
 mod analyze;
 mod bnz;
diff --git a/hermit-cli/src/lib.rs b/hermit-cli/src/lib.rs
index 82bf019..6270b2c 100644
--- a/hermit-cli/src/lib.rs
+++ b/hermit-cli/src/lib.rs
@@ -8,6 +8,7 @@
 
 // Treat all Clippy warnings as errors.
 #![deny(clippy::all)]
+#![allow(clippy::uninlined_format_args)]
 
 mod chroot;
 mod consts;