From 4d7086c84159d17020a5f1a6af3d52843c6ac16e Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Mon, 17 Feb 2020 21:06:11 +0100 Subject: [PATCH] use js --- .github/workflows/coverage.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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//