From: Jérémie Astor Date: Mon, 17 Feb 2020 20:12:11 +0000 (+0100) Subject: use js X-Git-Tag: nightly~1874 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5ea9c5ba173223904240565acb177658a71f04fd;p=gwion.git use js --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index f43c1353..087eca6d 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -75,7 +75,7 @@ jobs: git push || true cp focus.js html git add -f html - sed -i 's//