From c09a64e6aaa68308044238fe135aea1c4107c813 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?= Date: Sat, 16 Sep 2023 00:43:45 +0200 Subject: [PATCH] Including proper typing --- .github/download_distribution.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/download_distribution.py b/.github/download_distribution.py index 2436dfa3b..730a261cc 100755 --- a/.github/download_distribution.py +++ b/.github/download_distribution.py @@ -521,7 +521,7 @@ extra_content_late_installers = { def install_empty_folder(url: str, target_dir: str): touch_folder(f'{target_dir}/{url}') -def install_file(path_and_url: str, target_dir: str): +def install_file(path_and_url: Tuple[str, str], target_dir: str): if len(path_and_url) != 2: raise ValueError("Wrong path_and_url value: " + str(path_and_url)) path, url = path_and_url