From 8cf069ccfae8c642d2297acc3a8a9b11b8a7850c Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 13 Dec 2024 14:25:08 -0600
Subject: [PATCH] Pylint: use Github Actions warning, only disable import-error
---
run-pylint.py | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/run-pylint.py b/run-pylint.py
index 9b14d2d..d1860e1 100755
--- a/run-pylint.py
+++ b/run-pylint.py
@@ -65,12 +65,6 @@ def main():
"""Process command line args and run Pylint."""
args = []
- if sys.version_info >= (3, 13):
- 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:]:
if arg.startswith(YAML_RCFILE_PREFIX):
config_path = arg[len(YAML_RCFILE_PREFIX):]
@@ -79,6 +73,12 @@ def main():
else:
args.append(arg)
+ if sys.version_info >= (3, 13):
+ print("::warning:: modifying pylint run because we're on Python 3.13")
+ print("::warning:: context: https://github.com/pylint-dev/pylint/issues/10112")
+
+ args.append("--disable=import-error")
+
logger.info(" ".join(shlex.quote(arg) for arg in ["pylint"] + args))
pylint.lint.Run(args)
--
GitLab