Welcome to mirror list, hosted at ThFree Co, Russian Federation.

dev.gajim.org/gajim/gajim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/.ci
diff options
context:
space:
mode:
authorPhilipp Hörist <philipp@hoerist.com>2022-12-23 02:48:00 +0300
committerPhilipp Hörist <philipp@hoerist.com>2022-12-23 02:48:00 +0300
commit218ea8868317ffb6cf9db087e7bb062faa7f787c (patch)
tree1ebee35bca825877cf8ce78e6f0eedf3e3850f1f /.ci
parent184e3fab4b17715514724f9e1f7c09851706c350 (diff)
cq: Scripts: cast filename to string
Diffstat (limited to '.ci')
-rwxr-xr-x.ci/deploy.py3
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)