ED/EDMarketConnector
1
0
Fork 0
mirror of https://github.com/EDCD/EDMarketConnector.git synced 2025-04-14 08:17:13 +03:00
Code Issues Projects Releases Wiki Activity

github/mypy: Specifically run for win32 platform

Browse Source
This commit is contained in:
Athanasius 2022-12-23 15:24:45 +00:00
parent 2315168b65
commit 3d53b1a54d
No known key found for this signature in database
GPG Key ID: 772697E181BB2767
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/push-checks.yml vendored
View File

@ -67,4 +67,4 @@ jobs:
- name: mypy type checks
run: |
./scripts/mypy-all.sh
./scripts/mypy-all.sh --platform win32

2
scripts/mypy-all.sh
View File

@ -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$')