ci : continue file download with wget (#15471)

ggml-ci

diff --git a/ci/run.sh b/ci/run.sh
index 4d3abf923221298d25113a480f269da6b390e3c0..d51ba443859c213ad629e04d4504941ed3a3dcf9 100755 (executable)
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -106,7 +106,7 @@ function gg_wget {
     cd $out
 
     # should not re-download if file is the same
-    wget -nv -N $url
+    wget -nv -c -N $url
 
     cd $cwd
 }