Merge pull request #8576 from Mikolaj/urlopen-timeout-CI

Set urllib.request.urlopen timeout in bootstrap.py to fix CI
haskell · Nov 7, 2022 · 9241cb4 · 9241cb4
2 parents 338d060 + 04bebfc
commit 9241cb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap/bootstrap.py b/bootstrap/bootstrap.py
@@ -331,7 +331,7 @@ def fetch_from_plan(plan : FetchPlan, output_dir : Path):
     sha = plan[path].sha256
     if not output_path.exists():
       print(f'Fetching {url}...')
-      with urllib.request.urlopen(url) as resp:
+      with urllib.request.urlopen(url, timeout = 1) as resp:
         shutil.copyfileobj(resp, output_path.open('wb'))
     verify_sha256(sha, output_path)