Merge pull request #24 from morenol/lmm/clippy_ci

Add clippy CI job
2020-11-11 17:11:52 -04:00
parent 3d4d5f64f6 f46d3ba94c
commit b86c553bb1
57 changed files with 525 additions and 531 deletions
@@ -1,3 +1,10 @@
+#![allow(
+    clippy::needless_range_loop,
+    clippy::ptr_arg,
+    clippy::type_complexity,
+    clippy::too_many_arguments,
+    clippy::many_single_char_names
+)]
 #![warn(missing_docs)]
 #![warn(missing_doc_code_examples)]