Fix python-version matrix values + Remove typecheck.yml

- `python-version` matrix values should be strings.
- Renamed `formatting.yml` to `pre-commit-checks.yml` since we are not
  just doing formatting checks now, but running multiple rules.
- Removed `typecheck.yml` since now we execute pyright checks using
  pre-commit, so already covered by the pre-commit workflow.

.github/workflows/formatting.yml → .github/workflows/pre-commit-checks.yml

@@ -1,20 +1,21 @@
-name: Formatting
+name: Pre-commit Checks
 
 on:
   pull_request: {}
   workflow_dispatch: {}
 
 jobs:
   build:
-    name: Formatting
+    name: Run pre-commit checks
     runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version:
-          - 3.10
-          - 3.11
-          - 3.12
-          - 3.13
+          - "3.9"
+          - "3.10"
+          - "3.11"
+          - "3.12"
+          - "3.13"
 
     steps:
       - uses: actions/checkout@v4

.github/workflows/test.yml

@@ -34,10 +34,11 @@ jobs:
     strategy:
       matrix:
         python-version:
-          - 3.10
-          - 3.11
-          - 3.12
-          - 3.13
+          - "3.9"
+          - "3.10"
+          - "3.11"
+          - "3.12"
+          - "3.13"
 
     steps:
       - uses: actions/checkout@v4