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 /.github | |
| parent | 87edd6f0182c0a6fa2ae222d377d636f1f991b81 (diff) | |
Add type check to CI pipeline
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-test-publish.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/build-test-publish.yml b/.github/workflows/build-test-publish.yml index b70f1f1..a7ae751 100644 --- a/.github/workflows/build-test-publish.yml +++ b/.github/workflows/build-test-publish.yml @@ -25,8 +25,11 @@ jobs: - name: Install uv run: pip install uv + - name: Run typecheck + run: uv run mypy . + - name: Run tests - run: python test.py + run: uv run python test.py - name: Build package run: uv build |