]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: subtree usage
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 12:38:41 +0000 (13:38 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 12:38:41 +0000 (13:38 +0100)
.github/workflows/coverage.yml

index 11d31aed140184790ab31a8d6bb4077557c1d285..ac647d916ab5e36208be29383d27501134941ed9 100644 (file)
@@ -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