Eliminate the out-of-date pre-commit/action

This also addresses changes in GitHub runners,
which should have Pythons specifically configured.

.github/workflows/ci.yaml

@@ -89,7 +89,13 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: pre-commit/action@v3.0.0
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.10"
+      - run: |
+          python -m pip install uv
+          uv pip install pre-commit pre-commit-uv
+          .venv/bin/pre-commit run --all-files
 
   Typecheck:
     runs-on: ubuntu-latest