From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 18:48:36 +0000 (+0100)
Subject: :wrench: try to push
X-Git-Tag: nightly~1915
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=9ae6244645f85954d99c5f8b6bad376ba2063806;p=gwion.git

:wrench: try to push
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 0dbe8c6b..8573450e 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -49,9 +49,7 @@ jobs:
         then COLOR=yellow
         else COLOR=red
         fi
-        wget https://badgen.net/badge/coverage/$COV_TXT/$COLOR -O badge.svg
-        echo $COV_NUM $COLOR
-        ls
+        wget https://badgen.net/badge/coverage/$COV_NUM/$COLOR -O badge.svg
 
     - name: Push Report
       run: |
@@ -61,5 +59,7 @@ jobs:
         cp ../*.html .
         cp ../badge.svg .
         mv cov.html index.html
-        ls
-        cat index.html
+        git add . 
+        git commit -m "Update coverage"
+        git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git
+        git push