chore: fix clippy

KogarashiNetwork · Nov 24, 2023 · 78e675a · 78e675a
1 parent a74f25b
commit 78e675a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/nova/src/lib.rs b/nova/src/lib.rs
@@ -1,4 +1,5 @@
 #![doc = include_str!("../README.md")]
+#![allow(unused_variables, dead_code)]
 
 mod circuit;
 mod function;

diff --git a/zkstd/tests/grumpkin.rs b/zkstd/tests/grumpkin.rs
@@ -1,3 +1,6 @@
+#![allow(clippy::suspicious_arithmetic_impl)]
+#![allow(clippy::suspicious_op_assign_impl)]
+
 use zkstd::arithmetic::bits_256::*;
 use zkstd::arithmetic::weierstrass::*;
 use zkstd::circuit::CircuitDriver;