diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
index 2570a046..f36c34e3 100644
--- a/.github/workflows/pre-commit.yml
+++ b/.github/workflows/pre-commit.yml
@@ -28,8 +28,11 @@ jobs:
     name: MyPy (${{ matrix.python-version }})
     runs-on: ubuntu-latest
     strategy:
+      # One version's failure shouldn't cancel the others' runs.
+      fail-fast: false
       matrix:
-        python-version: ["3.9", "3.10", "3.11", "3.12"]
+        # The versions pyproject.toml supports (>3.10,<3.13).
+        python-version: ["3.10", "3.11", "3.12"]
     steps:
       - uses: actions/checkout@v5
 
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index c08b7443..8eb67199 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -91,14 +91,6 @@ repos:
     pass_filenames: false
     additional_dependencies: &mypy_deps [mypy==1.11.1, types-cachetools, types-setuptools, types-PyYAML, types-requests, pydantic]
     stages: [pre-commit] # Don't run in CI
-  - id: mypy-3.9
-    name: Run mypy for Python 3.9
-    entry: tools/mypy.sh 1 "3.9"
-    language: python
-    types: [python]
-    pass_filenames: false
-    additional_dependencies: *mypy_deps
-    stages: [manual] # Only run in CI
   - id: mypy-3.10
     name: Run mypy for Python 3.10
     entry: tools/mypy.sh 1 "3.10"