ID

84b291f

date

2025-04-01 14:23:43+00:00

author

Alex Chan <alex@alexwlchan.net>

parent

79bcfc6

message

Add a dependency on mypy; add mypy in GitHub Actions

changed files

3 files, 15 additions, 11 deletions

• .github/workflows/main.yml
• dev_requirements.in
• dev_requirements.txt

Changed files

.github/workflows/main.yml (765) → .github/workflows/main.yml (824)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f82a14d..4cb30bd 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -32,6 +32,9 @@ jobs:
           ruff check .
           ruff format --check .
 
+      - name: Check types
+        run: mypy *.py --strict
+
       - name: Run test suite
         run: |
           coverage run -m pytest test_concurrently.py

dev_requirements.in (16) → dev_requirements.in (21)

diff --git a/dev_requirements.in b/dev_requirements.in
index c6ec9f6..87ea621 100644
--- a/dev_requirements.in
+++ b/dev_requirements.in
@@ -1,2 +1,3 @@
+mypy
 pytest-cov
 ruff

dev_requirements.txt (505) → dev_requirements.txt (530)

diff --git a/dev_requirements.txt b/dev_requirements.txt
index c1dd334..90b20f1 100644
--- a/dev_requirements.txt
+++ b/dev_requirements.txt
@@ -1,22 +1,22 @@
 # This file was autogenerated by uv via the following command:
 #    uv pip compile dev_requirements.in --output-file dev_requirements.txt
-coverage[toml]==7.5.1
+coverage==7.8.0
     # via pytest-cov
-exceptiongroup==1.2.2
+iniconfig==2.1.0
     # via pytest
-iniconfig==2.0.0
-    # via pytest
-packaging==24.0
+mypy==1.15.0
+    # via -r dev_requirements.in
+mypy-extensions==1.0.0
+    # via mypy
+packaging==24.2
     # via pytest
 pluggy==1.5.0
     # via pytest
-pytest==8.2.0
+pytest==8.3.5
     # via pytest-cov
-pytest-cov==6.0.0
+pytest-cov==6.1.0
     # via -r dev_requirements.in
 ruff==0.11.2
     # via -r dev_requirements.in
-tomli==2.2.1
-    # via
-    #   coverage
-    #   pytest
+typing-extensions==4.13.0
+    # via mypy