Pylint skip: print message, don't just silently skip

inducer · Dec 13, 2024 · 1ddf2c3 · 1ddf2c3
1 parent bf5975c
commit 1ddf2c3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/run-pylint.py b/run-pylint.py
@@ -66,7 +66,9 @@ def main():
     args = []
 
     if sys.version_info >= (3, 13):
-        # https://github.com/pylint-dev/pylint/issues/10112
+        print("*** skipping pylint run because we're on Python 3.13")
+        print("*** context: https://github.com/pylint-dev/pylint/issues/10112")
+
         return
 
     for arg in sys.argv[1:]: