diff --git a/src/lib.rs b/src/lib.rs index 15fc3da..81c9c17 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,13 +1,16 @@ //! # halo2 #![cfg_attr(docsrs, feature(doc_cfg))] +#![allow(unknown_lints)] #![allow( clippy::op_ref, clippy::assign_op_pattern, clippy::too_many_arguments, clippy::suspicious_arithmetic_impl, clippy::many_single_char_names, - clippy::same_item_push + clippy::same_item_push, + clippy::upper_case_acronyms, + clippy::unknown_clippy_lints )] #![deny(broken_intra_doc_links)] #![deny(missing_debug_implementations)]