use html dir

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index a4266517c7456669ce93f7ef6a2e86809137b94e..3a465c0a92c232f16a67081b52a453c6489d4524 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -70,10 +70,13 @@ 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 *.html
+        git add README.md coverage_num.txt
         git commit -m "Update coverage" || true
         git push || true
         git add -f html
         git commit -m "Update html report"
         git push origin :gh-pages || true
         git subtree push --prefix html origin gh-pages
+        git rm -r html
+        git commit -m "Update coverage" || true
+        git push || true