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

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 9115cd3ef6f4555fe24e8512207cf269c8dfbad4..ac5c06a4f269022a7337fd8e7ad41f16656d9f8d 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"><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