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

scripts/mypy-all: Add a little comment documentation

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

2
scripts/mypy-all.sh
View File

@ -1,4 +1,6 @@
#!/usr/bin/env bash
#
# Run mypy checks against all the relevant files
# We assume that all `.py` files in git should be checked, and *only* those.
mypy $@ $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')