]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Ensure badge.svg
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 19:17:38 +0000 (20:17 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 19:17:38 +0000 (20:17 +0100)
.github/workflows/coverage.yml

index d08e6c088c3c3cb0f6bb420fa617c1f2ead15aef..3556fc95fd384f018cf3af81b07bb0893cf748dd 100644 (file)
@@ -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: |