From: Jérémie Astor Date: Mon, 17 Feb 2020 20:16:42 +0000 (+0100) Subject: use js X-Git-Tag: nightly~1873 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6300b5f632d2d765b69de63ff4b485033e58c2df;p=gwion.git use js --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 087eca6d..9115cd3e 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -74,8 +74,8 @@ jobs: git commit -m "Update coverage" || true git push || true cp focus.js html - git add -f html sed -i 's//