From 1ddf2c37d188e571de4d7ebe5f7f4d02a02b2077 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Fri, 13 Dec 2024 10:02:33 -0600 Subject: [PATCH] Pylint skip: print message, don't just silently skip --- run-pylint.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/run-pylint.py b/run-pylint.py index 49d10af..9b14d2d 100755 --- 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:]: