From 5fd6650af46c3726607ee6b7ff2c947c11107347 Mon Sep 17 00:00:00 2001
From: Georgi Gerganov <ggerganov@gmail.com>
Date: Mon, 17 Jul 2023 17:03:41 +0300
Subject: [PATCH] ci : disable wget progress output

ggml-ci
---
 ci/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/run.sh b/ci/run.sh
index 91a722e80..95346ece8 100644
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -20,7 +20,7 @@ function gg_wget {
     cd $out
 
     # should not re-download if file is the same
-    wget -N $url
+    wget -nv -N $url
 
     cd $cwd
 }