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

:wrench: add files
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index ef429d00..8d3a1b21 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -87,6 +87,7 @@ jobs:
         git push origin :gh-pages || true
         cp focus.js html
         cd html
+        git add .
         git commit -m "Update html report"
         git push origin gh-pages
 #        git add -f html