]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Fix coverage badge
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 1 Oct 2020 17:13:06 +0000 (19:13 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 1 Oct 2020 17:13:06 +0000 (19:13 +0200)
.github/workflows/coverage.yml

index f18237d2a0946d3f671dfc0649ec28ccfa2757fb..c63cf44fd8500b5e1841ab1362ecdb9553417468 100644 (file)
@@ -83,7 +83,7 @@ jobs:
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git
-        git add README.md coverage_num.txt
+        git add README.md coverage_num.txt badge.svg
         git commit -m "Update coverage" || true
         git push || true
         cp focus.js html