:wrench: more cumbersome git

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 30a7f1f13643b747f0d6aae2998ff01414f529d7..f1f4a0442afb1fa67f66a89ebaba9cfaca958553 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -88,7 +88,7 @@ jobs:
         cd html
         git add .
         git commit -m "Update html report"
-        git push
+        git push origin HEAD:gh-pages
 #        git push origin --set-upstream origin gh-pages
 #        git add -f html
 #        git commit -m "Update html report"