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

index 8d3a1b2111bd11823f00eec054806a882d7a6db0..dae9b99023bade3817c03c1e0023899d0d5e9fcb 100644 (file)
@@ -89,7 +89,7 @@ jobs:
         cd html
         git add .
         git commit -m "Update html report"
-        git push origin gh-pages
+        git push origin --set-upstream oirgin gh-pages
 #        git add -f html
 #        git commit -m "Update html report"
 #        git subtree push --prefix html origin gh-pages