Exclude compiler-rt Python code

trailofbits · Jul 20, 2023 · fcb7354 · fcb7354
1 parent a5df1da
commit fcb7354
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