ci: disable Pylint's redefined-outer-name rule

Safe-DS · Mar 26, 2023 · 0c5fc7f · 0c5fc7f
1 parent 8e92ac7
commit 0c5fc7f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/linters/.pylintrc b/.github/linters/.pylintrc
@@ -32,6 +32,7 @@ disable=
     wrong-import-order,
     # False positives
     import-error,
+    redefined-outer-name,
     # Unwanted
     design,
     duplicate-code,