| commit | 0c039a54e8f201b402214e8d956242d0c283599e | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Mon, 14 Nov 2022 20:54:33 +0000 (14 21:54 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 14 Nov 2022 20:54:33 +0000 (14 21:54 +0100) | ||
| tree | 8da201fd3337a18802f8cf17e83bf2c2d767dc32 | treesnapshot (tar.gz zip) |
| parent | e714824c6e652bf894f914bc57feccc15759668a | commitdiff |
| parent | 65a36ce903a03ab613ce170aff35394348cfa107 | commitdiff |
Merge pull request #8593 from Mikolaj/urlopen-timeout-CI-2nd-attempt
Increase urllib.request.urlopen timeout in bootstrap.py to fix CI
Increase urllib.request.urlopen timeout in bootstrap.py to fix CI