diff options
| author | Jan Tuomi <jan@jantuomi.fi> | 2025-05-22 13:32:31 +0300 |
|---|---|---|
| committer | Jan Tuomi <jan@jantuomi.fi> | 2025-05-22 13:36:50 +0300 |
| commit | 485d23c77cdb1edac7c68b68a17057e42c6c13b0 (patch) | |
| tree | 3b3da5499fdc748a727770eb409cf41410bab97f /pyproject.toml | |
| parent | 87edd6f0182c0a6fa2ae222d377d636f1f991b81 (diff) | |
Add type check to CI pipeline
Diffstat (limited to 'pyproject.toml')
| -rw-r--r-- | pyproject.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pyproject.toml b/pyproject.toml index 6424077..e2f03a7 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -28,4 +28,4 @@ build-backend = "setuptools.build_meta" py-modules = ["femtoqueue"] [dependency-groups] -dev = ["pyinstrument>=5.0.1", "ruff>=0.11.9"] +dev = ["mypy>=1.15.0", "pyinstrument>=5.0.1", "ruff>=0.11.9"] |