]> Nishi Git Mirror - gwion.git/commitdiff
projects / gwion.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 416108f)
:wrench: close script tag
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 17 Feb 2020 20:21:20 +0000 (21:21 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 17 Feb 2020 20:21:20 +0000 (21:21 +0100)
.github/workflows/coverage.yml patch | blob | history

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index ac5c06a4f269022a7337fd8e7ad41f16656d9f8d..919e43f80aa807a7e5f8eb2ec6d4d588227df4d6 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -74,7 +74,7 @@ jobs:
         git commit -m "Update coverage" || true
         git push || true
         cp focus.js html
-        sed -i 's/<html>/<script type="text\/javascript" src="focus.js"></script><html>/' html/index.src_*.html
+        sed -i 's/<html>/<script type="text\/javascript" src="focus.js"><\/script><html>/' html/index.src_*.html
         git add -f html
         git commit -m "Update html report"
         git push origin :gh-pages || true
strongly-timed musical programming language