:wrench: Ensure badge.svg

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 3556fc95fd384f018cf3af81b07bb0893cf748dd..7d42ba0e63c5bcb7ffe1fe16a9953839d6ef5c1b 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -59,7 +59,7 @@ jobs:
         cd gwion-coverage-report
         rm -f *.html
         cp ../*.html .
-        cp ../badge.svg .
+        convert ../badge.svg badge.png
         mv cov.html index.html
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"