From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 23 Feb 2020 12:38:41 +0000 (+0100)
Subject: :wrench: subtree usage
X-Git-Tag: nightly~1733^2~12
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=3d7bb30853da348e71afd68fe80bda71ffd3eab8;p=gwion.git

:wrench: subtree usage
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 11d31aed..ac647d91 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -86,9 +86,12 @@ jobs:
         git push || true
         git push origin :gh-pages || true
         cp focus.js html
-        git add -f html
+#        git add -f html
+#        git commit -m "Update html report"
+#        git subtree push --prefix html origin gh-pages
+        cd html
         git commit -m "Update html report"
-        git subtree push --prefix html origin gh-pages
+        git push
 
 
     - name: Send mail