:wrench: store reports

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 83aa44436fbfd3096156eda76d68772c5b70296c..a3fa974dba3be0ce3de2b121fb1f5b4d313b126c 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -84,6 +84,7 @@ jobs:
         git add README.md coverage_num.txt
         git commit -m "Update coverage" || true
         git push || true
+        git push :gh-pages || true
         cp focus.js html
         git add -f html
         git commit -m "Update html report"