summaryrefslogtreecommitdiffstats
path: root/ci
diff options
context:
space:
mode:
authorFly me to the moon <git@bigly.dog>2020-06-28 15:53:51 -0700
committerFly me to the moon <git@bigly.dog>2020-06-28 15:53:51 -0700
commit940f2e0a544ec4a2d9e639c5149077bb50332702 (patch)
tree90006860b9c4d11779d21a05ab217b000c953058 /ci
parentae0244235f70afb41a6947a6bbdcbddbc58bb133 (diff)
mypy
Diffstat (limited to 'ci')
-rwxr-xr-xci/docker.py2
-rwxr-xr-xci/release.py2
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)