diff --git a/bril-rs/brillvm/src/lib.rs b/bril-rs/brillvm/src/lib.rs index 255f2e2b..03cc7e20 100644 --- a/bril-rs/brillvm/src/lib.rs +++ b/bril-rs/brillvm/src/lib.rs @@ -1,4 +1,5 @@ #![warn(clippy::all, clippy::pedantic, clippy::nursery, clippy::cargo)] +#![allow(clippy::doc_markdown)] // Not uniform? Just lints on one line #![allow(clippy::too_many_lines)] #![allow(clippy::needless_for_each)] #![doc = include_str!("../README.md")]