]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: try to push
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 18:48:36 +0000 (19:48 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 18:48:36 +0000 (19:48 +0100)
.github/workflows/coverage.yml

index 0dbe8c6ba138d8fc73e1277c56f79f7b43af1ae5..8573450e4b09319997c9938228d8c9d1c54e74c5 100644 (file)
@@ -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