diff options
author | Philipp Hörist <philipp@hoerist.com> | 2022-12-23 02:48:00 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2022-12-23 02:48:00 +0300 |
commit | 218ea8868317ffb6cf9db087e7bb062faa7f787c (patch) | |
tree | 1ebee35bca825877cf8ce78e6f0eedf3e3850f1f /.ci | |
parent | 184e3fab4b17715514724f9e1f7c09851706c350 (diff) |
cq: Scripts: cast filename to string
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/deploy.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/deploy.py b/.ci/deploy.py index 96683bfdc..1dbd70c53 100755 --- a/.ci/deploy.py +++ b/.ci/deploy.py @@ -1,6 +1,7 @@ #!/usr/bin/env python3 from typing import Any +from typing import cast from typing import Optional import functools @@ -102,7 +103,7 @@ def download_artifacts(path: Path) -> None: for response in responses: for artifact in response: - filename = artifact['fileName'] + filename = cast(str, artifact['fileName']) file_url = artifact['fileUrl'] log.info('Download %s', filename) |