diff options
author | Kornel <kornel@geekhood.net> | 2019-09-03 02:04:34 +0100 |
---|---|---|
committer | Kornel <kornel@geekhood.net> | 2019-09-03 02:04:34 +0100 |
commit | dfc5ddc6a96572c9592c4ef01127c9c8a1de00b4 (patch) | |
tree | cb456b375fc1715df276dfba7e5ddf21003da714 /builder | |
parent | f321cb6696ce9879a356c6fa699daf86d33acb0d (diff) |
Skip bad deps
Diffstat (limited to 'builder')
-rwxr-xr-x | builder/docker/run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/builder/docker/run.sh b/builder/docker/run.sh index c207751..54efe5f 100755 --- a/builder/docker/run.sh +++ b/builder/docker/run.sh @@ -15,8 +15,8 @@ path = "\""/dev/null"\"" $crate " -cargo +nightly generate-lockfile -Z avoid-dev-deps -cargo +nightly fetch --locked -Z avoid-dev-deps +cargo +nightly generate-lockfile -Z avoid-dev-deps || continue; # just a deps issue +cargo +nightly fetch --locked -Z avoid-dev-deps || continue; # network prob? echo "----SNIP----"; echo >&2 "----SNIP----"; |