[julia mirror] set timeout 30mins for each package

This commit is contained in:
Johnny Chen 2020-06-27 07:28:11 +08:00 committed by GitHub
parent 19a90727f3
commit 79a6936ecd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,7 +9,7 @@ export JULIA_CLONES_DIR="$PWD/clones"
# timeout (seconds) for individual package instead of the whole mirror process
# initialization should use a larger timeout, e.g., 7200
PKG_TIMEOUT=600
PKG_TIMEOUT=1800
# update and mirror the General registry
git -C registries/General fetch --all