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

index a12006d3518f5dc55fbbc86f4ab388b462a6c730..bee051daea8067d31c3712fc6e3f41a4fc96d17b 100644 (file)
@@ -60,6 +60,7 @@ jobs:
         rm -f *.html *.svg
         cp ../*.html .
         convert -size 1024x1024 ../badge.svg badge.png
+        cp ../badge.svg badge.svg
         mv cov.html index.html
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"