Upgrade Python tools

Author: mernst

Makefile

@@ -4,6 +4,7 @@
 all default: style-check
 
 # Code style; defines `style-check` and `style-fix`.
+CODE_STYLE_EXCLUSIONS_USER := --exclude=manual.html
 ifeq (,$(wildcard .plume-scripts))
 ifeq (,$(wildcard checker/bin-devel/.plume-scripts))
 dummy := $(shell ./gradlew -q getPlumeScripts)

docs/developer/release/release_build.py

@@ -11,7 +11,7 @@
 import sys
 from pathlib import Path
 
-from release_utils import (  # ty: ignore # TODO: limitation in ty
+from release_utils import (
     check_repo,
     check_tools,
     clone_from_scratch_or_update,
@@ -31,7 +31,7 @@
     prompt_yes_no,
     set_umask,
 )
-from release_vars import (  # ty: ignore # TODO: limitation in ty
+from release_vars import (
     CF_VERSION,
     CHECKER_FRAMEWORK,
     CHECKLINK,

docs/developer/release/release_push.py

@@ -8,7 +8,7 @@
 import sys
 from pathlib import Path
 
-from release_utils import (  # ty: ignore # TODO: limitation in ty
+from release_utils import (
     continue_or_exit,
     current_distribution_by_website,
     delete_directory,
@@ -25,7 +25,7 @@
     set_umask,
     version_number_to_array,
 )
-from release_vars import (  # ty: ignore # TODO: limitation in ty
+from release_vars import (
     CF_VERSION,
     CHECKER_FRAMEWORK,
     CHECKER_LIVE_API_DIR,
@@ -42,7 +42,7 @@
     TMP_DIR,
     execute,
 )
-from sanity_checks import (  # ty: ignore # TODO: limitation in ty
+from sanity_checks import (
     javac_sanity_check,
     maven_sanity_check,
 )

docs/developer/release/release_utils.py

@@ -19,7 +19,7 @@
 import urllib.request
 from pathlib import Path
 
-from release_vars import (  # ty: ignore # TODO: limitation in ty
+from release_vars import (
     execute,
     execute_output,
     execute_status,

docs/developer/release/sanity_checks.py

@@ -13,7 +13,7 @@
 import zipfile
 from pathlib import Path
 
-from release_utils import (  # ty: ignore # TODO: limitation in ty
+from release_utils import (
     are_in_file,
     delete,
     delete_directory,
@@ -23,7 +23,7 @@
     insert_before_line,
     wget_file,
 )
-from release_vars import (  # ty: ignore # TODO: limitation in ty
+from release_vars import (
     CHECKER_FRAMEWORK,
     SANITY_DIR,
     execute,

pyproject.toml

@@ -9,7 +9,8 @@ dependencies = []
 [dependency-groups]
 dev = [
     "html5validator>=0.4.2",
-    "pymarkdownlnt>=0.9.33",
+    "pymarkdownlnt>=0.9.36",
     "requests>=2.32.5",
-    "ty>=0.0.1a31",
+    "ruff>=0.15.8",
+    "ty>=0.0.26",
 ]