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:]: