]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: store reports
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 13:08:21 +0000 (14:08 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 13:08:21 +0000 (14:08 +0100)
.github/workflows/coverage.yml

index a3fa974dba3be0ce3de2b121fb1f5b4d313b126c..82fc3fe03fd9fdbe09b93d07fe652d8533942be4 100644 (file)
@@ -84,7 +84,7 @@ jobs:
         git add README.md coverage_num.txt
         git commit -m "Update coverage" || true
         git push || true
-        git push :gh-pages || true
+        git push origin :gh-pages || true
         cp focus.js html
         git add -f html
         git commit -m "Update html report"