From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 19:17:38 +0000 (+0100)
Subject: :wrench: Ensure badge.svg
X-Git-Tag: nightly~1910
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=79d77a227ce143a5bb5a3de5b190bd3b61b69e76;p=gwion.git

:wrench: Ensure badge.svg
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index d08e6c08..3556fc95 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -49,7 +49,9 @@ jobs:
         then COLOR=yellow
         else COLOR=red
         fi
-        wget https://badgen.net/badge/coverage/$COV_NUM/$COLOR -O badge.svg
+        while true
+        do wget https://badgen.net/badge/coverage/$COV_NUM/$COLOR -O badge.svg && break
+        done
 
     - name: Push Report
       run: |