Exclude compiler-rt Python code

trailofbits · Aug 14, 2023 · dbe9ded · dbe9ded
1 parent 0c826ac
commit dbe9ded
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mypy.ini b/mypy.ini
@@ -1,2 +1,3 @@
 [mypy]
 ignore_missing_imports = True
+exclude = polytracker/src/compiler-rt