diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 74f18faaf..c179b828d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -105,6 +105,9 @@ jobs: - name: Build kitty run: python setup.py build --debug + - name: Build static kitty-tool + run: python setup.py build-static-binaries + - name: Run mypy run: which python && python -m mypy --version && ./test.py mypy