diff --git a/.github/workflows/push-checks.yml b/.github/workflows/push-checks.yml index b483ebb0..07f45e75 100644 --- a/.github/workflows/push-checks.yml +++ b/.github/workflows/push-checks.yml @@ -67,4 +67,4 @@ jobs: - name: mypy type checks run: | - ./scripts/mypy-all.sh + ./scripts/mypy-all.sh --platform win32 diff --git a/scripts/mypy-all.sh b/scripts/mypy-all.sh index 71f2f958..02a76a48 100755 --- a/scripts/mypy-all.sh +++ b/scripts/mypy-all.sh @@ -1,4 +1,4 @@ #!/usr/bin/env bash # -mypy $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$') +mypy $@ $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')