From: Jérémie Astor Date: Mon, 17 Feb 2020 20:06:11 +0000 (+0100) Subject: use js X-Git-Tag: nightly~1875 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=4d7086c84159d17020a5f1a6af3d52843c6ac16e;p=gwion.git use js --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index db1b712d..f43c1353 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -73,10 +73,9 @@ jobs: git add README.md coverage_num.txt git commit -m "Update coverage" || true git push || true + cp focus.js html git add -f html + sed -i 's//