diff options
author | Fly me to the moon <git@bigly.dog> | 2020-06-28 15:53:51 -0700 |
---|---|---|
committer | Fly me to the moon <git@bigly.dog> | 2020-06-28 15:53:51 -0700 |
commit | 940f2e0a544ec4a2d9e639c5149077bb50332702 (patch) | |
tree | 90006860b9c4d11779d21a05ab217b000c953058 /ci | |
parent | ae0244235f70afb41a6947a6bbdcbddbc58bb133 (diff) |
mypy
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/docker.py | 2 | ||||
-rwxr-xr-x | ci/release.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ci/docker.py b/ci/docker.py index 77a776b..31b337f 100755 --- a/ci/docker.py +++ b/ci/docker.py @@ -13,7 +13,7 @@ __dir__ = dirname(__file__) __prefix__ = "msjpq/sad" -def call(prog: str, *args: List[str]) -> None: +def call(prog: str, *args: str) -> None: ret = run([prog, *args]) if ret.returncode != 0: exit(ret.returncode) diff --git a/ci/release.py b/ci/release.py index 2f5c3c2..e4537c3 100755 --- a/ci/release.py +++ b/ci/release.py @@ -21,7 +21,7 @@ def cwd() -> None: chdir(root) -def call(prog: str, *args: List[str], cwd: str = getcwd()) -> None: +def call(prog: str, *args: str, cwd: str = getcwd()) -> None: ret = run([prog, *args], cwd=cwd.encode()) if ret.returncode != 0: exit(ret.returncode) |