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

index 7d42ba0e63c5bcb7ffe1fe16a9953839d6ef5c1b..a12006d3518f5dc55fbbc86f4ab388b462a6c730 100644 (file)
@@ -57,9 +57,9 @@ jobs:
       run: |
         git clone https://github.com/fennecdjay/gwion-coverage-report
         cd gwion-coverage-report
-        rm -f *.html
+        rm -f *.html *.svg
         cp ../*.html .
-        convert ../badge.svg badge.png
+        convert -size 1024x1024 ../badge.svg badge.png
         mv cov.html index.html
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"